fregejs

Version:

A propositional logic library written in Typescript

1 file

	Filename	Content Type	Size
	../
	proofChecker.test.ts	text/typescript	4.05 kB