chop-logic-core

Version:

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

3 lines (2 loc) • 111 B

TypeScript

export { HilbertProof } from "./hilbert-proof"; export { HilbertProofBuilder } from "./hilbert-proof-builder";