anthem-rs/examples/example-0.spec

4 lines
58 B
RPMSpec
Raw Permalink Normal View History

2020-05-13 07:41:01 +02:00
input: p/2.
spec: exists X, Y p(X, Y) <-> exists X q(X).