ai4reason / Prover9Links

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
52Updated last year

Alternatives and similar repositories for Prover9

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

Sorting: