hott-notes icon indicating copy to clipboard operation
hott-notes copied to clipboard

verified publisher icon RobertHarper
→

Metadata

15-819 (Homotopy Type Theory) Lecture Notes

15-819 (Homotopy Type Theory) Lecture Notes

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

← Metadata

44
Stars
2
Forks
Watchers

Owner

verified publisher icon RobertHarper

Metadata

15-819 (Homotopy Type Theory) Lecture Notes

Back