Homotopy Type Theory
Events (history)

May 22, 2020

May 13, 2020

April 6, 2020

March 23, 2020

March 21, 2020

March 7, 2020

February 12, 2020

February 10, 2020

January 24, 2020

January 22, 2020

August 18, 2019

December 21, 2018

September 25, 2018

July 4, 2018

June 4, 2018