Hacker News new | ask | show | jobs
by markasoftware 5 hours ago
A correctness bug in a proof checker by definition means that you can prove false.