Téléchargez gratuitement Prover9-Mace4-v05B 0.5b dans notre logithèque. Le plus récent packet d'installation disponible au téléchargement occupera 13.9 MB sur votre disque dur. Prover9-Mace4-v05B appartient à la sous-catégorie IDE de Outils de développement.
Parmis les utilisateurs de ce logiciel, la version la plus téléchargée est la version 0.5. Le fichier d'installation du logiciel est habituellement : Prover9-Mace4-v05B.zip. Les résultats de notre antivirus intégré indiquent que ce fichier est reconnu 100% sûr. C'est grâce à mccune que ce programme gratuit a vu le jour.
Du développeur:
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.
Peut-être voudriez-vous essayer également des outils en rapport avec Prover9-Mace4-v05B ? Nous vous proposons OtterFace-8, PeaZip for macOS ou SoftMax Pro.