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 { NaturalProof } from "./natural-proof"; export { NaturalProofBuilder } from "./natural-proof-builder";