Homotopy Type Theory Seminar (Spring 2015)



The homotopy type theory project including the Homotopy Type Theory book and a list of references.

Vladimir Voevodsky's univalent foundations project. An outline of the proposed project.

An introduction to homotopy type theory and univalent foundations by Álvaro Pelayo and Michael Warren. The accompanying Coq tutorial.