Prover9-Mace4-v05B

Prover9-Mace4-v05B 0.5

Free
Prover9 is an automated theorem prover for first-order and equational logic.
 
0.5 beta (See all)

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. The program comes for different operating systems and a Mac version is also available.

Info updated on: