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

@openreasoning/fol-types

Types of First-Order Logic formula

v0.0.2 URL: https://unpkg.com/@openreasoning/fol-types@0.0.2/dist/index.js

Open Browse Files