Search

folproof

A first-order logic proof verifier

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

OpenBrowse Files

folfolproofprooflogiclanguagefirst-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

OpenBrowse Files

fol