Knjižnice, napisane v Agda u
TypeTopology
Logične manifestacije topoloških konceptov in drugo. Ta različica zavzema enoznačno stališče..
- 172
- GNU General Public License v3.0 only
Agda
Agda formalizacija Uvoda v homotopsko teorijo tipov (avtor HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalizacija regularnih jezikov v Agdi: regularni izrazi, končni avtomati, dokaz enakovrednosti, dokaz črpalne leme..
- 13
pny1-assignment
Pisanje fakultetnih nalog, v katerih razpredam o tipskih razredih in odvisnih tipih.
- 12
template-agda
Predloga Agda, konfigurirana za Gitpod (www.gitpod.io), da vam ponudi vnaprej zgrajena, kratkotrajna razvojna okolja v oblaku.
- 8
- MIT