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.