folproof
Version:
A first-order logic proof verifier
12 lines (7 loc) • 310 B
Plain Text
.PHONY: test folproof
all: folproof test
folproof:
node ./node_modules/jison/lib/cli.js src/parser/folproof-parser.jison src/parser/folproof-parser.jisonlex
./node_modules/.bin/browserify --standalone folproof src/verifier.js > folproof-verifier.js
test:
./node_modules/nodeunit/bin/nodeunit tests/*.js