UNPKG
folproof
Version:
latest (0.1.1)
0.1.1
0.1.0
A first-order logic proof verifier
cdibbs/folproof
folproof
/
src
/
parser
2 files
Filename
Content Type
Size
../
folproof-parser.jison
application/octet-stream
2.11 kB
folproof-parser.jisonlex
application/octet-stream
3.63 kB