Sujet · agda
agda
Dépôts open source suivis étiquetés agda, triés par étoiles.
Dépôts
3
Total d'étoiles
4 164
Étoiles en moyenne
1 388
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de agda sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés agda.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 922+1Évolution des étoiles sur les 7 derniers jours - #2
Bibliothèque standard d’Agda
★ 675+0Évolution des étoiles sur les 7 derniers jours - #3★ 567+1Évolution des étoiles sur les 7 derniers jours
