Homotopy Type Theory Formalized Homotopy Theory > history (history)

June 9, 2022

January 19, 2019

August 26, 2018

May 30, 2016

February 16, 2016

February 14, 2016

March 1, 2015

January 18, 2015

January 17, 2015

March 31, 2014

March 3, 2014

March 2, 2014