chop-logic-core

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
OpenBrowse Files
chop-logiclogicpropositional-logicproof-systemtypescriptformal-logichilbertnatural-deduction