Awesome

15-819 (Homotopy Type Theory) Lecture Notes

Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts