HoTT materials and exercises HoTT Lecture 1 (Paige North) HoTT Lecture 2 (Paige North) HoTT Lecture 3 (Paige North) HoTT Lecture 4 (Ulrik Buchholtz) HoTT Lecture 5 (Ulrik Buchholtz) HoTT Lecture 6 (Ulrik Buchhotlz) HoTT Lectures 7-9 (Emily Riehl) HoTT Lectures 10-12 (Egbert Rijke) Worksheets Lecture Q&A Additional material Introduction to HoTT (Egbert Rijke)