Prover9-Mace4-v05B 0.5b estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. 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. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros.
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.