• 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
..
encoding Loading commit data...
plugins Loading commit data...
programs Loading commit data...
typing Loading commit data...
valid Loading commit data...
bench Loading commit data...
true_goal.why Loading commit data...