CS370: Homotopy Type Theory
This course is a walk through of the HoTT book doing exercises in the proof verifier Arend created by JetBrains.
Course Information
Syllabus
Lectures
HW
Arend Guide
Official HoTT Page
Repository in Arend Following the Book