UNPKG

folproof

Version:

A first-order logic proof verifier

cdibbs/folproof

3 folders, 10 files

	Filename	Content Type	Size
	docs/	–	4.56 kB
	src/	–	31.7 kB
	tests/	–	24.4 kB
	.travis.yml	text/yaml	49 B
	Makefile	text/plain	310 B
	cli.js	text/javascript	827 B
	folproof-parser.js	text/javascript	33.8 kB
	folproof-verifier.js	text/javascript	27 kB
	folproof-web.js	text/javascript	5.99 kB
	index.html	text/html	5.91 kB
	license.txt	text/plain	1.08 kB
	package.json	application/json	808 B
	readme.md	text/markdown	1.58 kB

About

cdibbs/folproof

Releases

11 years ago