Geeks
Tuplanolla
/
EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
Primary Language
TeX
MIT License
MIT
EPIT-2020 GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
eemailme