skip to:
content
package search
sign in
❤
Pro
Teams
Pricing
Documentation
npm
Search
Sign Up
Sign In
Search results
2 packages found
folproof
A first-order logic proof verifier
fol
folproof
proof
logic
language
first-order
cdibbs
published 0.1.1 • 10 years ago
published 0.1.1 10 years ago
M
Q
P
@openreasoning/fol-types
Types of First-Order Logic formula
fol
masterodin
published 0.0.2 • 5 years ago
published 0.0.2 5 years ago
M
Q
P