Hacker News new | ask | show | jobs
by orlandpm 1086 days ago
(2015)
1 comments
b215826 1086 days ago
Yes, and Voevodsky is no longer alive.
link