RCEpic
HoTT/book
A textbook on informal homotopy type theory
- Owner
- HoTT (organization)
- Stars
- Stars: 2,175
- Forks
- Forks: 380
- Language
- TeX
- License
- None
- Created
- 2012
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by HoTT
All 4 repos by HoTT- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- HoTT/EPIT-2020Stars: 110TeXPrototype
Nearby in TeX
All TeX repos- paulgp/applied-methods-phdStars: 2,264TeXRC
- the-turing-way/the-turing-wayStars: 2,200TeXRC
- ixy-languages/ixy-languagesStars: 2,186TeXRC
- ustctug/ustcthesisStars: 2,134TeXRC
- latex3/latex3Stars: 2,133TeXRC
- Jason2Brownlee/CleverAlgorithmsStars: 2,122TeXRC