Prover9-Mace4-v05B 0.5b for Mac is free to download from our software library. The most popular version among the application users is 0.5. This free Mac app is a product of mccune. Prover9-Mace4-v05B for Mac lies within Developer Tools, more precisely IDE.
This program's bundle is identified as org.pythonmac.unspecified.prover9-mace4. The size of the latest installer available is 13.9 MB. Prover9-Mace4-v05B.zip is the most frequent filename for this app's installer. Our built-in antivirus checked this Mac download and rated it as virus free.
From the developer:
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.
You may want to check out more Mac applications, such as PowerGlot, ChIDE or flex sdk 3, which might be similar to Prover9-Mace4-v05B.