AlphaPeu commune
UniMath/agda-unimath
The agda-unimath library
- Propriétaire
- UniMath (organisation)
- Étoiles
- Étoiles : 318
- Forks
- Forks : 105
- Langage
- Agda
- Licence
- MIT
- Création
- 2021
- Sujets
- homotopy-type-theoryunivalent-foundationsunivalent-mathematicscategory-theorycommutative-algebrafinite-groupsgraph-theoryorder-theoryring-theorystructured-types
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de UniMath
Les 5 dépôts de UniMath- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- UniMath/SymmetryBookÉtoiles : 453HTMLAlpha
- UniMath/FoundationsÉtoiles : 247CoqPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
D’autres dépôts Agda
Tous les dépôts Agda- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- cedille/cedilleÉtoiles : 398AgdaAlpha
- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha
- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha