مكتبات مكتوبة بلغة Agda
TypeTopology
المظاهر المنطقية للمفاهيم الطوبولوجية وأشياء أخرى. هذا الإصدار يتبنى وجهة النظر غير المتكافئة..
- 172
- GNU General Public License v3.0 only
Agda
إضفاء الطابع الرسمي على Agda لمقدمة إلى Homotopy Type Theory (بواسطة HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
إضفاء الطابع الرسمي على اللغات العادية في Agda: التعبيرات العادية ، وآليات الحالة المحدودة ، وإثبات التكافؤ ، وإثبات تضخ اللمة..
- 13
template-agda
نموذج Agda ، مهيأ لـ Gitpod (www.gitpod.io) لمنحك بيئات تطوير سريعة الزوال ومبنية مسبقًا في السحابة..
- 8
- MIT