Geeks
pcapriotti
/
hott-exercises
Solutions of the exercises of the HoTT book
Primary Language
Agda
hott-exercises GitHub
Markdown
Readme
0
Issues
22
Stargazers
4
Watchers
No issues in this repository yet.