UNPKG

propositional

Version:

Propositional logic symbolic computation library

github.com/p2js/propositional

p2js/propositional

6 files

	Filename	Content Type	Size
	../
	simplify.d.ts	text/typescript	801 B
	simplify.js	text/javascript	6.36 kB
	substitute.d.ts	text/typescript	160 B
	substitute.js	text/javascript	1.9 kB
	toString.d.ts	text/typescript	126 B
	toString.js	text/javascript	2.35 kB