avi-levy / theorem-prover

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

This repository is not active

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

Language:Python 100.0%