AlphaPeu commune
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
- Propriétaire
- andrejbauer (compte personnel)
- Étoiles
- Étoiles : 314
- Forks
- Forks : 8
- Langage
- TeX
- Licence
- Aucune
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de andrejbauer
Les 4 dépôts de andrejbauer- andrejbauer/plzooÉtoiles : 1 600OCamlBêta
- andrejbauer/spartan-type-theoryÉtoiles : 277OCamlAlpha
- andrejbauer/marshallÉtoiles : 128OCamlPrototype
D’autres dépôts TeX
Tous les dépôts TeX- simias/psx-guideÉtoiles : 315TeXAlpha
- dmitriydligach/PyMLSlidesÉtoiles : 315TeXAlpha
- devonfw-forge/devon4flutter-non-bloc-archÉtoiles : 315TeXAlpha
- SEU-COIN/LLMPapersÉtoiles : 313TeXAlpha
- Erik-Cupsa/ResumeTemplateÉtoiles : 313TeXAlpha
- lizhemin15/AAAI-2026-Latex-UnifiedÉtoiles : 313TeXAlpha