Sujet · coq-library
coq-library
Dépôts open source suivis étiquetés coq-library, triés par étoiles.
Dépôts
3
Total d'étoiles
2 152
Étoiles en moyenne
717
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de coq-library sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés coq-library.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Cette bibliothèque rocq vise à formaliser un corpus substantiel de mathématiques en utilisant le point de vue univalent.
★ 1 019+2Évolution des étoiles sur les 7 derniers jours - #2
Un framework pour vérifier formellement des implémentations de systèmes distribués en Coq
★ 625+0Évolution des étoiles sur les 7 derniers jours - #3★ 508+1Évolution des étoiles sur les 7 derniers jours
