Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"

Wojciech Karpiel 47ca637426 koniec pierwszej rundy poprawek 3 days ago
praca-magisterska 47ca637426 koniec pierwszej rundy poprawek 3 days ago
src 35db266fb1 jest \:D/ 2 weeks ago
.gitignore a220abb3eb sprątanie 1 month ago
CZYTAJMNIE 4c53a17939 Aktualizacja do Agdy 2.6.0 i biblioteki 1.0 2 weeks ago
przemebra.agda-lib c930b5d440 Początek Przemebry 6 months ago