Hacker News new | ask | show | jobs
by zozbot234 755 days ago
Sorry about not providing a reference re: Kevin Buzzard's previously-stated thoughts on HoTT, but see https://ncatlab.org/nlab/show/Kevin+Buzzard