Propriétaire · agda

agda

Dépôts open source suivis de agda, triés par étoiles.

3 dépôts

#1
agda ↗@agdaHaskell
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 922+3Évolution des étoiles sur les 7 derniers jours
#2
agda-stdlib ↗@agdaAgda
Bibliothèque standard d’Agda
★ 675+0Évolution des étoiles sur les 7 derniers jours
#3
cubical ↗@agdaAgda
Une bibliothèque expérimentale pour Cubical Agda
★ 567+0Évolution des étoiles sur les 7 derniers jours