You can download Prover9-Mace4 0.5 from our software library for free. You can run this free PC software on Windows XP/Vista/7/8/10/11 32-bit. This free software is an intellectual property of UNM. This download was scanned by our antivirus and was rated as safe. The most popular version among Prover9-Mace4 users is 0.5. The common filename for the program's installer is prover9-mace4.exe. Prover9-Mace4 lies within Development Tools, more precisely IDE. The latest setup package occupies 5.2 MB on disk.
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 C++ Compiler, Sun Java Toolkit for CDC or MIDletPascal, which might be similar to Prover9-Mace4.