Homotopy Type Theory
Formalized Homotopy Theory (history)

January 19, 2019

August 25, 2018

May 30, 2016

February 15, 2016

February 14, 2016

March 1, 2015

January 18, 2015

January 17, 2015

March 31, 2014

March 3, 2014

March 2, 2014