CORE-verifier
master
Install
Predicate Logic
Expressions
Commands
Scopes
print
object
axiom
define
assignment
prove
assume
not
given
choose
CORE-verifier
Commands
prove
given
Edit on GitHub
given
WIP