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) • 207 B
1
2
3
4
export { calculatePropFormula } from "./calculate-prop-formula"; export { getBinaryOperationValue } from "./get-binary-operation-value"; export { getUnaryOperationValue } from "./get-unary-operation-value";