Hacker News new | ask | show | jobs
by sebzim4500 732 days ago
Checking a proof is much easier than finding it.