OtterFace-8

17 июн., 2024
Рейтинг:
Категория:
ПродуктивностьОфис
Разработчик:
William McCune
Лицензия:
Бесплатная
Количество загрузок:
11
Последняя версия:
10.2

Описание

Версия 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, Graphic Inspector или Simple Floating Clock, которые часто используются вместе с OtterFace-8.

Как защитить свой Mac от вредоносных программ
рекомендуем
Как делиться файлами
рекомендуем
Как печатать 10 пальцами
рекомендуем

Последние обновления

Reflector

Помощники устройств

Bible Study

Религия и эзотерика

Apple Logic Pro

Создание музыки