Hacker News new | ask | show | jobs
by jeapostrophe 4734 days ago
Certainly, but most math proofs aren't "rigorous proofs" by any stretch.