CORE-verifier
master
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
Read the Docs
v: master
Versions
master
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds