chop-logic-core

Version:

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

4 files

Filename	Content Type	Size
../
calculate-prop-formula.d.ts	text/typescript	870 B
get-binary-operation-value.d.ts	text/typescript	714 B
get-unary-operation-value.d.ts	text/typescript	584 B
index.d.ts	text/typescript	207 B