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