andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
TeX
Stargazers
- 5HT@arvo-computer
- a-nikolaev
- adamnemecektraceoid.ai
- adimanea@Poligon-Educational
- ArfatSalmanOslo
- ariostonBrazil
- cem2ran@lenus-ehealth
- clayratIMDEA Software
- co-danGroningen
- cwjnkinsStony Brook University
- danoneataRomania
- dmalikov
- erthalionRed Hat
- floydnoelNerds With Keyboards
- forked-from-1kasperMilky Way, Solar System, Earth
- glangmead
- jaycech3nUniversity of Nottingham
- jbulowGlumslöv
- Jealrock
- jmitchellSeattle
- k-bxKyiv, Ukraine
- lambdaxymoxUnited States
- logicshan
- lucazulianMilan, Italy
- mmirmanExtensional
- nlyubchich@deliveryhero
- nojb@LexiFi
- oblivia-simplexHalifax
- philzook58Draper
- scott-fleischman
- tbeddyPICKUP
- thanhtoan1196
- tkersey@thisisartium
- vyorkin@zeriontech
- wrrnhttn
- xieyuheng嗨起来！