georgejkaye / theorem-prover Sponsor Star 4 Code Issues Pull requests A simple theorem prover made for a university programming assignment theorem-proving propositional-logic dimacs theorem reasoning theorem-prover dpll clause-normal-form resolution-calculus propositional-resolution Updated Jul 28, 2017 Java
animeshjn / resolution-theorem-prover Star 0 Code Issues Pull requests Proves the Sentences (LOGIC Formulae) given in Clausal Form lisp artificial-intelligence clisp animesh resolution-proof clause-normal-form Updated Dec 19, 2017 Common Lisp