resolution-calculus
There are 1 repositories under resolution-calculus topic.
georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
There are 1 repositories under resolution-calculus topic.
A simple theorem prover made for a university programming assignment