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