UNPKG

propositional

Version:

Propositional logic symbolic computation library

github.com/p2js/propositional

p2js/propositional

12 files

	Filename	Content Type	Size
	../
	ast.d.ts	text/typescript	534 B
	ast.js	text/javascript	895 B
	equivalence.d.ts	text/typescript	128 B
	equivalence.js	text/javascript	2.21 kB
	generate.d.ts	text/typescript	442 B
	generate.js	text/javascript	2.04 kB
	parse.d.ts	text/typescript	132 B
	parse.js	text/javascript	3.47 kB
	token.d.ts	text/typescript	301 B
	token.js	text/javascript	944 B
	tokenise.d.ts	text/typescript	92 B
	tokenise.js	text/javascript	2.63 kB