Hacker News new | ask | show | jobs
by mekaj 3533 days ago
Trivial, small example: the bug is the prover accepts all inputs.