Syllabus and exercises for the class on HoTT I plan to teach at Candada/USA Mathcamp 2015
Primary LanguageCoq