folproof

A first-order logic proof verifier

v0.1.1 URL: https://app.unpkg.com/folproof@0.1.1

Open Browse Files

fol folproof proof logic language first-order