advancedresearch / pocket_proverLinks

A fast, brute force, automatic theorem prover for first order logic
40Updated 11 months ago

Alternatives and similar repositories for pocket_prover

Users that are interested in pocket_prover are comparing it to the libraries listed below

Sorting: