An implementation of first-order logic
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
Natural language to first-order logic pipeline
A fast, brute force, automatic theorem prover for first order logic
A small, embeddable and fast interpreter for a subset of Prolog.
Safe Rust bindings to the Vampire theorem prover for first-order logic
English vocabulary types and compile-time lexicon lookup for logicaffeine
Propositional logic with exponentials
Platform IO and system services for LOGOS
WASM-safe data structures and CRDTs - NO IO
Pure structural atoms for logicaffeine - arena, tokens, spans
CLI tool for logicaffeine (largo)
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.