chop-logic-core

Version:

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

6 files

Filename	Content Type	Size
../
convert-prop-formula-to-expression.d.ts	text/typescript	427 B
convert-prop-formula-to-string.d.ts	text/typescript	418 B
extract-prop-sub-formulas.d.ts	text/typescript	549 B
extract-prop-variables.d.ts	text/typescript	399 B
index.d.ts	text/typescript	367 B
replace-atom-in-formula.d.ts	text/typescript	1.47 kB