folproof

A first-order logic proof verifier

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

Open Browse Files

fol folproof proof logic language first-order