• Andrei Paskevich's avatar
    several changes in syntax · aa2c430e
    Andrei Paskevich authored
    - No more "and", "or", "implies", "iff", and "~".
      Use "/\", "\/", "->", "<->", and "not" instead.
    
    - No more "logic". Use "function" or "predicate".
    aa2c430e
Name
Last commit
Last update
..
bts Loading commit data...
check-builtin Loading commit data...
einstein Loading commit data...
hello_proof Loading commit data...
my_cosine Loading commit data...
plugins Loading commit data...
power Loading commit data...
programs Loading commit data...
scottish-private-club Loading commit data...
tptp Loading commit data...
bts12244.ml Loading commit data...
einstein.why Loading commit data...
explicit_subst.why Loading commit data...
genealogy.why Loading commit data...
hello_proof.why Loading commit data...
list.why Loading commit data...
my_cosine.why Loading commit data...
nightly-bench.sh Loading commit data...
ns_clone.why Loading commit data...
regtests.sh Loading commit data...
scottish-private-club.why Loading commit data...
set.why Loading commit data...
sorted_list.why Loading commit data...
use_api.ml Loading commit data...
vacit_sort.why Loading commit data...