UNPKG

folproof

Version:

A first-order logic proof verifier

cdibbs/folproof

7 lines (4 loc) • 77 B
1
2
3
4
5
6
7
.PHONY: test all: test test: ./../node_modules/nodeunit/bin/nodeunit *.js