https://github.com/georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving

Last synced: 12 Apr 2025