Logic Reasoning Systems AI Coding Tools
There are 4 logic reasoning systems tools tracked. The highest-rated is leoprover/scala-tptp-parser at 46/100 with 6 stars.
Get all 4 projects as JSON
curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=ai-coding&subcategory=logic-reasoning-systems&limit=20"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
| # | Tool | Score | Tier |
|---|---|---|---|
| 1 |
leoprover/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala |
|
Emerging |
| 2 |
sramakrishnan247/ProveMe
A Theorem Prover for Propositional Logic |
|
Emerging |
| 3 |
sdcondon/SCPropositionalLogic
Very simple propositional logic knowledge base implementations. Includes... |
|
Experimental |
| 4 |
leoprover/ask
Stand-alone Skolemizer for TPTP formulas |
|
Experimental |