avi-levy / theorem-prover

I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.

Geek Repo

Github PK Tool