Fork me on GitHub
Math for the people, by the people.

User login

Homotopy Type Theory

Primary tabs

Homotopy Type Theory

This is a place for gathering material related to the emerging subject of homotopy type theory. Initially, we will start with the HoTT book and its exercises; hopefully, as time goes on, people will add entries, solutions, notes, discussions and other content.

Collection content

Titlesort descendingAuthorMy info
HoTT Appendix APMBookProjectUser not logged in
HoTT BookPMBookProjectUser not logged in

Subscribe to Comments for "Homotopy Type Theory"