Formalization of the Introduction to Homotopy Type Theory in Coq
Primary LanguageCoqGNU General Public License v3.0GPL-3.0