Hacker News new | ask | show | jobs
by red_trumpet 601 days ago
The result of a prove is a theorem. I don't see any claim in the article that any two proofs of the same theorem are essentially the same?