Версия 10.2 OtterFace-8 для macOS предоставлена бесплатно на нашем архиве. Разработчик этой бесплатной программы для Mac — William McCune.
Наша антивирусная программа просканировала эту загрузку и признала ее полностью «чистой» от вирусов.
Последняя версия, доступная для скачивания, займет 2.9 MB на диске. Наиболее часто используемое название файла установки программы: OtterFace8.dmg. Самая популярная версия среди пользователей программы 10.2. OtterFace-8 принадлежит к категории Продуктивность, а точнее к подкатегории Офис.
От разработчика:
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.
Мы предлагаем оценить другие macOS программы, такие как Notepad - Simple TXT Editor или Simple Floating Clock, которые часто используются вместе с OtterFace-8.