Introduction to Homotopy Type Theory
Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.
Pinned Repositories
Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Coq
Formalization of the Introduction to Homotopy Type Theory in Coq
HoTT-Intro.github.io
Introduction to Homotopy Type Theory's Repositories
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
HoTT-Intro/Coq
Formalization of the Introduction to Homotopy Type Theory in Coq
HoTT-Intro/HoTT-Intro.github.io