Biblioteker skrevet i Agda
TypeTopology
Logiske manifestationer af topologiske begreber og andre ting. Denne version antager det univalente synspunkt..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalisering af Introduktion til Homotopi Type Theory (ved HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalisering af regulære sprog i Agda: regulære udtryk, finite-state automater, bevis for ækvivalens, bevis for det pumpende lemma.
- 13
template-agda
En Agda-skabelon, konfigureret til Gitpod (www.gitpod.io) for at give dig forudbyggede, flygtige udviklingsmiljøer i skyen.
- 8
- MIT