GitHub topics: clause-normal-form
georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
Language: Java - Size: 163 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1
animeshjn/resolution-theorem-prover
Proves the Sentences (LOGIC Formulae) given in Clausal Form
Language: Common Lisp - Size: 16.6 KB - Last synced at: 11 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
