Библиотеки, написанные на Agda
TypeTopology
Логические проявления топологических понятий и прочее. Эта версия принимает универсальную точку зрения.
- 172
- GNU General Public License v3.0 only
Agda
Формализация Agda введения в теорию гомотопических типов (от HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Формализация регулярных языков в Agda: регулярные выражения, конечные автоматы, доказательство эквивалентности, доказательство леммы о накачке.
- 13
pny1-assignment
Написание задания для колледжа, в котором я рассказываю о классах типов и зависимых типах.
- 12
template-agda
Шаблон Agda, настроенный для Gitpod (www.gitpod.io), чтобы предоставить вам предварительно созданные эфемерные среды разработки в облаке.
- 8
- MIT