Библиотеки, написани на 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