Homotopy Type Theory
HoTT book (history)

January 19, 2019

September 4, 2018

May 29, 2014

May 15, 2014

May 9, 2014