AlphaPeu commune
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
Archivé : ce dépôt n’évolue plus
- Propriétaire
- EgbertRijke (compte personnel)
- Étoiles
- Étoiles : 373
- Forks
- Forks : 28
- Langage
- Agda
- Licence
- CC-BY-4.0
- Création
- 2018
- Sujets
- agdahottunivalencebookcoqformalizationmathematics
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- cedille/cedilleÉtoiles : 398AgdaAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha