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

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

export { buildHilbertProof } from "./build-hilbert-proof";
export { composeHilbertProof } from "./compose-hilbert-proof";
export { generateHilbertProofSteps } from "./generate-hilbert-proof-steps";