top | item 12766383 (no title) mekaj | 9 years ago Trivial, small example: the bug is the prover accepts all inputs. discuss order hn newest No comments yet.
No comments yet.