Geeks
RobertHarper
/
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Primary Language
TeX
hott-notes GitHub
Markdown
Readme
1
Issue
45
Stargazers
14
Watchers
Watchers
maurer
jtassarotti
k4rtik
Chicago, IL
joeschmo
chrisamaphone
hdeyoung
nrfulton
Boston && NYC
RobertHarper
Pittsburgh PA
smuller
Chicago, IL
balzers
ecavallo
robertylewis
Providence, RI
jrkoenig
Stanford, CA
jeroen-z