Βιβλιοθήκες γραμμένες σε 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) για να σας προσφέρει προκατασκευασμένα, εφήμερα περιβάλλοντα ανάπτυξης στο cloud..
- 8
- MIT