hott-intro Goto Github PK
Name: Introduction to Homotopy Type Theory
Type: Organization
Bio: Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.
Twitter: EgbertRijke
Blog: https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory