Sujet · rocq-library

rocq-library

Dépôts open source suivis étiquetés rocq-library, triés par étoiles.

Dépôts

2

Total d'étoiles

1 715

Étoiles en moyenne

858

Part

0,00%

Sujets qui apparaissent souvent aux côtés de rocq-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 rocq-library.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
UniMath ↗@UniMathRocq Prover
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
math-comp ↗@math-compRocq Prover
Composants mathématiques
★ 696+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets