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