Fol Packages

folproof

A first-order logic proof verifier

fol folproof proof logic language first-order

0.1.1 • Published 11 years ago

@openreasoning/fol-types

Types of First-Order Logic formula

0.0.2 • Published 6 years ago