automated-deduction

There are 6 repositories under automated-deduction topic.

fsestini/zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
Language:Haskell11 2 00
aureleeNet/rio
A reasoner for Input/Output logic
Language:Scala1 2 00
proof-theory/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language:C++1 0 00
proof-theory/gkc
A reasoning system for large knowledge bases.
Language:C0 0 00
proof-theory/Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Language:C0 0 00
proof-theory/tpg
Tree Proof Generator
Language:JavaScript0 0 00