UNPKG
folproof
Version:
latest (0.1.1)
0.1.1
0.1.0
A first-order logic proof verifier
cdibbs/folproof
folproof
/
tests
/
case-studies
/
typing1.folproof
42 B
Binary
View Raw
No preview is available for this file.