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

Previous

© Copyright 2023. Revision 7b0f5dee.

Built with Sphinx using a theme provided by Read the Docs.

Read the Docs v: latest

Versions: master; latest

Downloads: pdf; html; epub

On Read the Docs: Project Home; Builds