Sujet · unimath

unimath

Dépôts open source suivis étiquetés unimath, triés par étoiles.

Dépôts

1

Total d'étoiles

1 019

Étoiles en moyenne

1 019

Part

0,00%

Sujets qui apparaissent souvent aux côtés de unimath sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés unimath.

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 018+2Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets