3 ms·I'm wondering how the absence of Voevodsky affect the research of HoTT related field?by doall 5y agoI'm wondering how the absence of Voevodsky affect the research of HoTT related field?