Agda ben írt könyvtárak
TypeTopology
A topológiai fogalmak logikai megnyilvánulásai és egyéb dolgok. Ez a verzió az univalens nézőpontot követi.
- 172
- GNU General Public License v3.0 only
Agda
A Homotópiatípuselmélet bevezetésének agda formalizálása (HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Reguláris nyelvek formalizálása Agdában: reguláris kifejezések, véges állapotú automaták, az ekvivalencia bizonyítása, a pumpáló lemma bizonyítása.
- 13
template-agda
A Gitpodhoz (www.gitpod.io) konfigurált Agda-sablon, amely előre elkészített, átmeneti fejlesztői környezeteket biztosít a felhőben.
- 8
- MIT