Perpustakaan yang ditulis dalam Agda
TypeTopology
Manifestasi logis dari konsep topologi, dan hal lainnya. Versi ini mengadopsi sudut pandang univalen..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalisasi Pengantar Teori Tipe Homotopi (oleh HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalisasi Bahasa Reguler di Agda: ekspresi reguler, automata keadaan terbatas, bukti kesetaraan, bukti lemma pemompaan..
- 13
pny1-assignment
Tulisan tugas kuliah di mana saya mengoceh tentang kelas tipe dan tipe dependen..
- 12
template-agda
Template Agda, yang dikonfigurasi untuk Gitpod (www.gitpod.io) untuk memberi Anda lingkungan pengembangan singkat yang telah dibuat sebelumnya di cloud..
- 8
- MIT