AlphaPeu commune
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
- Propriétaire
- HoTT (organisation)
- Étoiles
- Étoiles : 442
- Forks
- Forks : 58
- Langage
- Agda
- Licence
- MIT
- Création
- 2012
- Sujets
- agdahomotopyhottunivalence
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de HoTT
Les 4 dépôts de HoTT- HoTT/bookÉtoiles : 2 175TeXRC
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- HoTT/EPIT-2020Étoiles : 110TeXPrototype
D’autres dépôts Agda
Tous les dépôts Agda- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- the1lab/1labÉtoiles : 446AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- cedille/cedilleÉtoiles : 398AgdaAlpha
- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha