Homotopy Type Theory definitional equality > history (history)

June 17, 2022

June 15, 2022

May 21, 2014

May 9, 2014

March 6, 2014

March 4, 2014

March 3, 2014

March 2, 2014