Hacker News new | ask | show | jobs
by b215826 1091 days ago
Yes, and Voevodsky is no longer alive.