Jape является настраиваемым графическим формально-доказательство калькулятор. Можно определить логику, решить, как ваши пользователи будут просматривать их доказательства, и многое другое. Он работает с вариантами последовательного исчисления и естественного вычета. Mac, Unix, Windows.
история версии
- Версия N/A размещено на 2011-08-11
Несколько исправлений и обновлений - Версия N/A размещено на 2011-08-11
Подробная информация о программе
- Категории: Сеть и Интернет > Других
- Издателя: jape.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows