OtterFace-8

William McCune

Загрузить сейчас 2.9 MB

Лицензия: Бесплатная

Количество загрузок:11

Последняя версия:10.2

Сообщить о неточности

Cкриншоты

Описание

Версия 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.

Скачать OtterFace-8

полезно

Как защитить свой Mac от вредоносных программ

полезно

Как делиться файлами

полезно

Как печатать 10 пальцами