Homotopy Type Theory
HoTT2019 Summer School open problems list (history)

August 11, 2019

August 10, 2019