patrick
/
anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
anthem-rs/examples/example-0.spec

4 lines
58 B
Python
Raw Permalink Blame History

input: p/2.
spec: exists X, Y p(X, Y) <-> exists X q(X).
Reference in New Issue View Git Blame Copy Permalink