Crate theorem_prover 

Theorem Prover for First-Order Logic

theorem_prover provides utilities to create formulas and pass them to is_valid to decide if the given formula is valid.

Modules

lang

Macros

And

Exists

Forall

Fun

Iff

Imply

Neg

Obj

Or

Pred

Var

Enums

ProverError

Functions

is_valid

Check if a given formula is valid