Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"
Wojciech Karpiel 4c53596de3 poprawki++ | 5 years ago | |
---|---|---|
praca-magisterska | 5 years ago | |
src | 5 years ago | |
.gitignore | 5 years ago | |
CZYTAJMNIE | 5 years ago | |
przemebra.agda-lib | 6 years ago |