Você pode baixar OtterFace-8 10.2 da nossa biblioteca de programas de graça. A seguinte versão é a mais frequentemente baixada pelos usuários do programa: 10.2. Nosso antivírus conferiu esse download e o avaliou como 100% seguro.
O tamanho do arquivo do último instalador disponível para download é de 2.9 MB. O desenvolvedor do OtterFace-8 é William McCune. O software está dentro de Produtividade, na subcategoria Ferramentas de Escritório. O instalador do OtterFace-8 é chamado geralmente de OtterFace8.dmg.
Do desenvolvedor:
OtterFace-8 is a simple graphical user interface for Otter and Mace2. (an automated deduction system which is designed to prove theorems stated in first-order logic with equality). It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.
Confira mais programas, tais como MacSpice ou Filmcalculator, que podem ser similares a OtterFace-8.