PrototypeCommune
HoTT/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
- Propriétaire
- HoTT (organisation)
- Étoiles
- Étoiles : 110
- Forks
- Forks : 12
- Langage
- TeX
- Licence
- MIT
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de HoTT
Les 4 dépôts de HoTT- HoTT/bookÉtoiles : 2 174TeXRC
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
D’autres dépôts TeX
Tous les dépôts TeX- yihui/bookdown-chineseÉtoiles : 110TeXPrototype
- Mattie432/EthVote-Ethereum-Blockchain-Voting-SystemÉtoiles : 110TeXPrototype
- indocomsoft/nus-cheatsheetsÉtoiles : 110TeXPrototype
- ledovsky/latex-gost-templateÉtoiles : 110TeXPrototype
- lh3/fermikitÉtoiles : 110TeXPrototype
- quantum-journal/quantum-journalÉtoiles : 110TeXPrototype