Downloading Prover9-Mace4 0.5 from the developer's website was possible when we last checked. We cannot confirm if there is a free download of this software available. The following version: 0.5 is the most frequently downloaded one by the program users.
You can launch this free PC software on Windows XP/Vista/7/8/10/11 32-bit. This free program was originally designed by UNM. Prover9-Mace4 lies within Development Tools, more precisely IDE. The default filename for the program's installer is prover9-mace4.exe. We cannot guarantee that the program is safe to download as it will be downloaded from the developer's website. Before launching the program, check it with any free antivirus software.
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. This version should be reasonably functional, but it's not ready for general release. This was done in Python with the WX widget library. The target platforms are Windows (2000 or later), Mac OS X (10.3.9 or later), and Linux.
You may want to check out more software, such as Source Editor, Sun Java Toolkit for CDC or MIDletPascal, which might be similar to Prover9-Mace4.