folproof

Version:

A first-order logic proof verifier

1 file

	Filename	Content Type	Size
	../
	language.md	text/markdown	4.56 kB