Introduction to Homotopy Type Theory

icon indicating a website link https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory

icon location Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.

Results 0 issues of Introduction to Homotopy Type Theory