AlphaUncommon
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
- Owner
- andrejbauer (personal account)
- Stars
- Stars: 314
- Forks
- Forks: 8
- Language
- TeX
- License
- None
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by andrejbauer
All 4 repos by andrejbauer- andrejbauer/plzooStars: 1,600OCamlBeta
- andrejbauer/spartan-type-theoryStars: 277OCamlAlpha
- andrejbauer/marshallStars: 128OCamlPrototype
Nearby in TeX
All TeX repos- simias/psx-guideStars: 315TeXAlpha
- dmitriydligach/PyMLSlidesStars: 315TeXAlpha
- devonfw-forge/devon4flutter-non-bloc-archStars: 315TeXAlpha
- nrnrnr/nowebStars: 313TeXAlpha
- SEU-COIN/LLMPapersStars: 313TeXAlpha
- Erik-Cupsa/ResumeTemplateStars: 313TeXAlpha