Comment Comment by doall I'm wondering how the absence of Voevodsky affect the research of HoTT related field? parent doall 5 years ago