[−][src]Crate razor_fol
Provides a set of tools for parsing and applying common logical transformations on first-order formulae in Razor's syntax.
Modules
parser | Implements a parser for first-order formulae and theories in Razor's syntax. |
syntax | Defines an abstract syntax tree (AST) for first-order terms and formulae with equality. |
test_prelude | |
transform | Implements a number of common transformations on first-order terms and formulae. |