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

5 files

	Filename	Content Type	Size
	../
	create-operator.d.ts	text/typescript	724 B
	create-prop-expression.d.ts	text/typescript	628 B
	create-prop-formula.d.ts	text/typescript	1.3 kB
	create-prop-symbol.d.ts	text/typescript	894 B
	index.d.ts	text/typescript	233 B