OtterFace-8 10.2 for Mac was available as a free download on our software library. OtterFace8.dmg is the most common filename for this application's installer. The following version: 10.2 was the most frequently downloaded one by the program users. This Mac download was scanned by our built-in antivirus and was rated as safe. The actual developer of this free software for Mac is William McCune. The program belongs to Productivity Tools.
From the developer:
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.
You may want to check out more software for Mac, such as Combine PDF's or MakeDocJ, which might be similar to OtterFace-8.