Unsere Webseite stellt Ihnen Prover9-Mace4-v05B 0.5b als kostenlosen Download zur Verfügung. Folgende Version wird von den Benutzerinnen und Benutzern dieses Programms am häufigsten heruntergeladen: 0.5.
Die neueste Installationsdatei, die hier heruntergeladen werden kann, hat die Größe von 13.9 MB. Dieser Download wurde von unseren Antivirenprogrammen geprüft und als sauber eingestuft. Die Installationsdatei dieses Programms heißt häufig Prover9-Mace4-v05B.zip. Der eigentliche Entwickler dieses kostenlosen Programms ist mccune. Prover9-Mace4-v05B gehört zur Kategorie "Programmierung" und Unterkategorie "IDE".
Vom Entwickler:
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.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie PowerGlot, flex sdk 3 oder Ganymede informieren, die an Prover9-Mace4-v05B ähnlich sein können.