Вы можете бесплатно скачать 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, Apple Configurator или OpenCore Configurator, которые часто используются вместе с Jape.