patrick/anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove unnecessary lemma

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-11 04:08:38 +02:00
parent 674cee0e87
commit 78935f7c4a
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/example-2.spec
View File

@ -25,6 +25,4 @@ lemma(forward): forall N (N >= 0 and p(N + 1) -> p(N)).
lemma(forward): not p(n + 1). lemma(forward): not p(n + 1).
lemma(forward): forall N1, N2 (N2 > N1 and N1 >= 0 and p(N2) -> p(N1)). lemma(forward): forall N1, N2 (N2 > N1 and N1 >= 0 and p(N2) -> p(N1)).
lemma(forward): forall N (N >= 0 -> p(N)).
lemma(forward): forall N2, N3 (q(N2) and N3 > N2 -> not q(N3)). lemma(forward): forall N2, N3 (q(N2) and N3 > N2 -> not q(N3)).