Clean up example

This commit is contained in:
Patrick Lühne 2020-05-29 19:00:44 +02:00
parent 5d931ab7e6
commit 68dba77156
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 3 deletions

View File

@ -1,6 +1,3 @@
# Auxiliary predicate to determine whether a variable is integer
#axiom: forall X (is_int(X) <-> exists N X = N).
# Perform the proofs under the assumption that n is a nonnegative integer input constant. n stands
# for the total number of input sets
input: n -> integer.