Prover9-Mace4-v05B 0.5b estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible.
Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. A las aplicaciones del grupo Desarrollo, subgrupo IDE, es a las que pertenece esta herramienta. El auténtico artífice de este programa sin coste es mccune. Normalmente, el archivo de instalación de este programa tiene el siguiente nombre de fichero: Prover9-Mace4-v05B.zip. La versión más popular entre los usuarios del programa es 0.5.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como ChIDE, flex sdk 3 o MahJong Farmers, que podrían ser similares a Prover9-Mace4-v05B.