CORE documentation

CORE is a proof verifier for predicate logic. See Building and Installing for build and installation instructions.

Note

This project is under active development.

• Install
• Predicate Logic
  • Sentences
  • Objects
  • Constants
  • Predicates
  • Relations
  • Connectives
  • Quantifiers
  • Trivial Truth
• Expressions
  • Expression Values
  • Variables
  • Object Substitution
  • Pipe Operator
  • Deduction
  • Sentence Constants
  • Predicate Definitions
  • Expression Brackets
  • Built-in Functions
    • left
    • right
    • and
    • or
    • iff
    • trivial
    • expand
    • substitute
    • branch
• Commands
  • Scopes
  • print
  • object
  • axiom
  • define
  • assignment
  • prove
    • assume
    • not
    • given
    • choose