Knihovny napsané v Agda u
TypeTopology
Logické projevy topologických pojmů a další věci. Tato verze přijímá univalentní úhel pohledu..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalizace Úvodu do teorie homotopických typů (od HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalizace regulárních jazyků v Agda: regulární výrazy, konečné automaty, důkaz ekvivalence, důkaz pumpovacího lemmatu.
- 13
pny1-assignment
Psaní vysokoškolských úkolů, ve kterých se toulám o typových třídách a závislých typech.
- 12
template-agda
Šablona Agda nakonfigurovaná pro Gitpod (www.gitpod.io), která vám poskytne předem vytvořená, pomíjivá vývojová prostředí v cloudu.
- 8
- MIT