Knižnice napísané v Agda e
TypeTopology
Logické prejavy topologických pojmov a iné veci. Táto verzia preberá univalentný uhol pohľadu..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalizácia Úvodu do teórie homotopických typov (od HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agdarsec
Celkový počet analyzátorových kombinátorov v Agda.
- 105
- GNU General Public License v3.0 only
agda-regexp-automata
Formalizácia regulárnych jazykov v Agda: regulárne výrazy, konečné automaty, dôkaz ekvivalencie, dôkaz pumpovacej lemy.
- 13
pny1-assignment
Písanie úloh na vysokej škole, v ktorých sa túlam o typových triedach a závislých typoch.
- 12
template-agda
Šablóna Agda, nakonfigurovaná pre Gitpod (www.gitpod.io), aby vám poskytla vopred vytvorené, efemérne vývojové prostredia v cloude.
- 8
- MIT