Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"
Wojciech Karpiel
6394110107
Dokończone twierdzenie
|
4 days ago | |
|---|---|---|
| src | 4 days ago | |
| .gitignore | 3 months ago | |
| CZYTAJMNIE | 2 months ago | |
| przemebra.agda-lib | 4 months ago |