Crate razor_fol

Source
Expand description

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.