Hacker News new | ask | show | jobs
by doall 1822 days ago
I'm wondering how the absence of Voevodsky affect the research of HoTT related field?