Geek Repo
Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.
Home Page:https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory
Twitter:@EgbertRijke
Github PK Tool:Github PK Tool
Agda formalisation of the Introduction to Homotopy Type Theory
Formalization of the Introduction to Homotopy Type Theory in Coq