CORE-verifier

latest

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

Previous Next

© 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