When are two proofs essentially the same? (2007) by from Hacker News on 2024-10-29 15:15 (#6RTTQ) Comments