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