/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

Primary LanguageTeX

Stargazers