chop-logic-core

Version:

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

11 files

Filename	Content Type	Size
../
conjunction-elimination.d.ts	text/typescript	520 B
conjunction-introduction.d.ts	text/typescript	527 B
disjunction-elimination.d.ts	text/typescript	475 B
disjunction-introduction.d.ts	text/typescript	527 B
equivalence-elimination.d.ts	text/typescript	453 B
equivalence-introduction.d.ts	text/typescript	458 B
implication-elimination.d.ts	text/typescript	478 B
implication-introduction.d.ts	text/typescript	487 B
index.d.ts	text/typescript	1.77 kB
negation-elimination.d.ts	text/typescript	413 B
negation-introduction.d.ts	text/typescript	434 B