Jape

Richard Bornat, Sufrin

Загрузить сейчас с сайта разработчика

5.0

оценок: 1

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

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

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

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

Cкриншоты

Описание

При последней проверке загрузка Jape 7.0 была доступна на сайте разработчика. В данный момент мы не можем подтвердить наличие бесплатной загрузки этой программы.

Эта бесплатная программа для 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 пальцами