UNPKG

chop-logic-core

Version:

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

choplogic.github.io/chop-logic-core

ChopLogic/chop-logic-core

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