Prover9-Mace4-v05B 0.5b for Mac was available to download from the developer's website when we last checked. We cannot confirm if there is a free download of this app available. The following version: 0.5 is the most frequently downloaded one by the program users.
The common filename for the program's installer is Prover9-Mace4-v05B.zip. The actual developer of this free software for Mac is mccune. We recommend checking the downloaded files with any free antivirus. The program lies within Developer Tools, more precisely IDE. The bundle identifier for this app is org.pythonmac.unspecified.prover9-mace4.
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 ChIDE, flex sdk 3 or MahJong Farmers, which might be similar to Prover9-Mace4-v05B.