Biblioteke napisane u Agda u
TypeTopology
Logičke manifestacije topoloških pojmova i drugo. Ova verzija usvaja jednoznačno gledište..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalizacija Uvoda u homotopijsku teoriju tipa (autor HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalizacija regularnih jezika u Agdi: regularni izrazi, konačni automati, dokaz ekvivalencije, dokaz leme o pumpanju..
- 13
pny1-assignment
Pismo za fakultetske zadaće u kojima lupetam o razredima tipova i ovisnim tipovima..
- 12
template-agda
Predložak Agda, konfiguriran za Gitpod (www.gitpod.io) kako bi vam pružio unaprijed izgrađena, prolazna razvojna okruženja u oblaku.
- 8
- MIT