Hacker News new | ask | show | jobs
When are two proofs of the same theorem different proofs (mathoverflow.net)
3 points by dargscisyhp 594 days ago