UNPKG

chop-logic-core

Version:

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

4 lines (3 loc) 198 B
export { buildNaturalProof } from "./build-natural-proof"; export { composeNaturalProof } from "./compose-natural-proof"; export { generateNaturalProofSteps } from "./generate-natural-proof-steps";