RCÉpique
HoTT/book
A textbook on informal homotopy type theory
- Propriétaire
- HoTT (organisation)
- Étoiles
- Étoiles : 2 174
- Forks
- Forks : 380
- Langage
- TeX
- Licence
- Aucune
- Création
- 2012
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de HoTT
Les 4 dépôts de HoTT- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- HoTT/EPIT-2020Étoiles : 110TeXPrototype
D’autres dépôts TeX
Tous les dépôts TeX- paulgp/applied-methods-phdÉtoiles : 2 264TeXRC
- the-turing-way/the-turing-wayÉtoiles : 2 200TeXRC
- ixy-languages/ixy-languagesÉtoiles : 2 186TeXRC
- ustctug/ustcthesisÉtoiles : 2 134TeXRC
- latex3/latex3Étoiles : 2 133TeXRC
- Jason2Brownlee/CleverAlgorithmsÉtoiles : 2 122TeXRC