Você pode baixar Prover9-Mace4-v05B 0.5b da nossa biblioteca de programas de graça. O arquivo do instalador do programa é conhecido como Prover9-Mace4-v05B.zip. O programa está dentro de Ferramentas de Desenvolvimento, na subcategoria IDE. O desenvolvedor do Prover9-Mace4-v05B é mccune. A versão mais popular do programa é 0.5. O arquivo de configuração mais recente disponível para download ocupa 13.9 MB no disco. Seu download foi escaneado por nosso antivírus e foi avaliado como seguro.
Do desenvolvedor:
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.
Confira mais programas, tais como OtterFace-8 ou PeaZip for macOS, que podem ser relacionados a Prover9-Mace4-v05B.