Hacker News new | ask | show | jobs
by suddenlybananas 55 days ago
The distinctions matter since computational proofs have been around for decades.