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

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

/**
 * Main exports for propositional logic functionality.
 * @module PropositionalLogic
 */
export * from "./builders";
export * from "./converters";
export * from "./evaluators";
export * from "./hilbert-calculus";
export * from "./natural-calculus";
export * from "./truth-tables";
export * from "./validators";