Homotopy Type Theory
HoTT2019 Summer School open problems list > history
<
HoTT2019 Summer School open problems list
category:
redirected to nlab