theoremprover-museum / prover9Links

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
16Updated 7 years ago

Alternatives and similar repositories for prover9

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

Sorting: