Hacker News new | ask | show | jobs
by auggierose 97 days ago
> Yes, and if you have the wrong theorems, the proof doesn't matter.

Agreed.