15-819 (Homotopy Type Theory) Lecture Notes
July 27, 2020 ยท View on GitHub
Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts
July 27, 2020 ยท View on GitHub
Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts