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.