Jape

Richard Bornat, Sufrin

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

Лицензия: С открытым кодом

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

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

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

Cкриншоты

Описание

Вы можете бесплатно скачать Jape 7.0 для macOS с нашего сайта. Последняя версия файла установки, которую вы можете скачать занимает 2.1 MB.

Эта бесплатная программа для Mac OS X принадлежит Richard Bornat, Sufrin. Программа принадлежит к категории Продуктивность, а точнее к подкатегории Офис. Этот файл загрузки был просканирован нашим встроенным антивирусом, который отметил его как полностью безопасный для использования.

От разработчика:

Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational semantics.

Мы предлагаем оценить другие macOS программы, такие как JonDo, Armok Vision или Apple Configurator, которые часто используются вместе с Jape.

Скачать Jape

полезно

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

полезно

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

полезно

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