HoTT so hot right now... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nathias on Feb 22, 2020 \| parent \| context \| favorite \| on: Where is the fashionable mathematics? HoTT so hot right now...

auggierose on Feb 22, 2020 [–]

But its inventor is really cold.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact