This is your work, valued

Introduction to Homotopy Type Theory

Advanced
@HoTT-Intro

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

ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory