chop-logic-core/lib/propositional/builders/index.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

export { createOperator } from "./create-operator";
export { createPropExpression } from "./create-prop-expression";
export { createPropFormula } from "./create-prop-formula";
export { createPropSymbol } from "./create-prop-symbol";