Hacker News new | ask | show | jobs
by auggierose 269 days ago
Most overrated isomorphism in the history of machine-assisted proof.