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

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

export * from "./axioms";
export * from "./classes";
export * from "./generators";
export * from "./rules";