Sujet · cartesian
cartesian
Dépôts open source suivis étiquetés cartesian, triés par étoiles.
Dépôts
1
Total d'étoiles
807
Étoiles en moyenne
807
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de cartesian sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés cartesian.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Formalisation de la théorie des catégories sans axiomes dans Coq pour l'étude personnelle et le travail pratique.
★ 807+1Évolution des étoiles sur les 7 derniers jours
