Sujet · profunctor
profunctor
Dépôts open source suivis étiquetés profunctor, 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 profunctor sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés profunctor.
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.
★ 808+1Évolution des étoiles sur les 7 derniers jours
