Geeks
glangmead
/
hott_cmu80818
Companion code to CMU course on Homotopy Type Theory
Primary Language
Agda
The Unlicense
Unlicense
hott_cmu80818 GitHub
Markdown
Readme
0
Issues
5
Stargazers
4
Watchers
Stargazers
andrejtokarcik
Bratislava, Slovakia
beike-zh
codeworm96
Pittsburgh, PA
logicshan
riaqn
Jane Street