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

Wojciech Karpiel 6394110107 Dokończone twierdzenie 4 days ago
src 6394110107 Dokończone twierdzenie 4 days ago
.gitignore faf9bd89c6 Od nowa przerobiłem Wielomiany bo stare były za mało ogólne 3 months ago
CZYTAJMNIE a0d7bbb228 zależności++ 2 months ago
przemebra.agda-lib c930b5d440 Początek Przemebry 4 months ago