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 1 repositories owned by Introduction to Homotopy Type Theory

Agda

119
Stars
5
Forks
Watchers

Agda formalisation of the Introduction to Homotopy Type Theory

verified publisher icon HoTT-Intro