RobertHarper / Hott Notes
15-819 (Homotopy Type Theory) Lecture Notes
Stars: ✭ 181
Labels
15-819 (Homotopy Type Theory) Lecture Notes
Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].