UNPKG

folproof

Version:

A first-order logic proof verifier

cdibbs/folproof

1 folder, 5 files

	Filename	Content Type	Size
	../
	parser/	–	5.74 kB
	justifier.js	text/javascript	2.65 kB
	rule.js	text/javascript	793 B
	rules.js	text/javascript	18.2 kB
	util.js	text/javascript	270 B
	verifier.js	text/javascript	4.05 kB