0/5 stars
License: Freeware
Total downloads:32 (1 last week)
Latest version:unknown
Screenshot collage for Prover9-Mace4-v05B


Prover9-Mace4-v05B unknown 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 General.

This program's bundle is identified as org.pythonmac.unspecified.prover9-mace4. The size of the latest installer available is 13.9 MB. 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 QuickPerlTester, ProtectionDeveloper or Pascal, which might be similar to Prover9-Mace4-v05B.


Thank you for rating the program!
Please add a comment explaining the reasoning behind your vote.
Your vote:
Latest update: