UNPKG

folproof

Version:

A first-order logic proof verifier

cdibbs/folproof

6 files

	Filename	Content Type	Size
	../
	begins-w-assump.folproof	application/octet-stream	360 B
	no-premises.folproof	application/octet-stream	71 B
	typing1.folproof	application/octet-stream	42 B
	typing2.folproof	application/octet-stream	98 B
	typing3.folproof	application/octet-stream	233 B
	typing4.folproof	application/octet-stream	322 B