Sujet · foundations

foundations

Dépôts open source suivis étiquetés foundations, 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 foundations sur un même dépôt.

Ascensions récentes

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

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

← Retour aux sujets