PrototypeCommon
HoTT/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
- Owner
- HoTT (organization)
- Stars
- Stars: 110
- Forks
- Forks: 12
- Language
- TeX
- License
- MIT
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by HoTT
All 4 repos by HoTT- HoTT/bookStars: 2,175TeXRC
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
Nearby in TeX
All TeX repos- yihui/bookdown-chineseStars: 110TeXPrototype
- Mattie432/EthVote-Ethereum-Blockchain-Voting-SystemStars: 110TeXPrototype
- indocomsoft/nus-cheatsheetsStars: 110TeXPrototype
- ledovsky/latex-gost-templateStars: 110TeXPrototype
- lh3/fermikitStars: 110TeXPrototype
- quantum-journal/quantum-journalStars: 110TeXPrototype