← Back to context

Comment by zozbot234

1 year 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

0 comments

zozbot234

Reply

No comments yet

Contribute on Hacker News ↗