Comment

Comment by doall

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

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton