/HoTT-mathcamp-2015-class

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

Primary LanguageCoq

This repository is not active