Nuestra página web le ofrece una descarga gratuita de OtterFace-8 10.2. El nombre de archivo de instalación más frecuente para esta herramienta es OtterFace8.dmg. El archivo de instalación más reciente ocupa 2.9 MB en disco.
La herramienta pertenece al grupo Productividad, en concreto al de aplicaciones sobre Herramientas de Office. Nuestro propio antivirus ha comprobado esta descarga y ha determinado que es 100 % segura. Originariamente, esta herramienta sin coste la creó William McCune. La versión más popular entre los usuarios de la aplicación es 10.2.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Notepad - Simple TXT Editor o Simple Floating Clock, que podrían ser similares a OtterFace-8.