jdolson / hott-notesLinks

15-819 (Homotopy Type Theory) Lecture Notes
14Updated 7 years ago

Alternatives and similar repositories for hott-notes

Users that are interested in hott-notes are comparing it to the libraries listed below

Sorting: