Это команда ladr_to_tptp, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
ladr4-apps - недокументированные приложения LADR4
ОПИСАНИЕ
Некоторые программы в Ladr4-приложения пакет в настоящее время не имеет справочных страниц. Вы можете получить
документацию по некоторым из этих приложений через испытатель9 руководство, которое доступно на
Системы Debian через пакет Prover9-doc, в
/usr/share/doc/prover9-doc/manual/index.html. В качестве альтернативы вызов приложения с помощью
-Помощь вариант может предоставить документацию. Патчи для добавления страниц руководства приветствуются, и
могут быть отправлены сопровождающему пакета Debian, подробности которого перечислены ниже.
Используйте ladr_to_tptp в Интернете с помощью сервисов onworks.net
