Solutions of the exercises of the book "Homotopy Type Theory", a.k.a. "the HoTT book".
Primary LanguageMakefileMIT LicenseMIT
No one’s star this repository yet.