15-819 (Homotopy Type Theory) Lecture Notes
Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts
15-819 (Homotopy Type Theory) Lecture Notes
Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts
15-819 (Homotopy Type Theory) Lecture Notes