Это команда prover9-mace4, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
prover9-mace4 - графический интерфейс программы доказательства теорем для Prover9 и Mace4
СИНТАКСИС
прувер9-булава4
ОПИСАНИЕ
Эта страница руководства кратко документирует прувер9-булава4 команда.
прувер9-булава4 представляет собой графический пользовательский интерфейс (GUI) для испытатель9(1) средство доказательства теорем и
mace4(1) генератор контрмоделей.
ИСПОЛЬЗОВАНИЕ
Инструкции по использованию можно найти в программе через Помощь .
Используйте prover9-mace4 онлайн с помощью сервисов onworks.net
