The content of the HoTT book formalized in Agda
Home Page:https://fernandochu.github.io/HoTT-Book-Agda/index.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool