Geeks
guillaumebrunerie
/
HoTT
This repository is now obsolete
Primary Language
Coq
HoTT Home Page
HoTT GitHub
Markdown
Readme
0
Issues
11
Stargazers
3
Watchers
No issues in this repository yet.