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