UNPKG
folproof
Version:
latest (0.1.1)
0.1.1
0.1.0
A first-order logic proof verifier
cdibbs/folproof
folproof
/
src
/
parser
/
folproof-parser.jisonlex
3.63 kB
Binary
View Raw
No preview is available for this file.