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