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