AlphaUncommon
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
- Owner
- martinescardo (personal account)
- Stars
- Stars: 341
- Forks
- Forks: 73
- Language
- TeX
- License
- None
- Created
- 2022
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by martinescardo
All 3 repos by martinescardo- martinescardo/TypeTopologyStars: 288AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype
Nearby in TeX
All TeX repos- nanmu42/CQUThesisStars: 346TeXAlpha
- note286/xdupgthesisStars: 344TeXAlpha
- TechBooster/ReVIEW-TemplateStars: 342TeXAlpha
- zhengxuJosh/Awesome-RAG-VisionStars: 340TeXAlpha
- skinaze/HUSTPaperTempStars: 333TeXAlpha
- Isoheptane/arch-media-boxStars: 333TeXAlpha