Search results

folproof

A first-order logic proof verifier

• fol
• folproof
• proof
• logic
• language
• first-order

cdibbs

published 0.1.1 • 10 years agopublished 0.1.1 10 years ago

@openreasoning/fol-types

Types of First-Order Logic formula

• fol

masterodin

published 0.0.2 • 5 years agopublished 0.0.2 5 years ago