This is the command ladr_to_tptp that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
ladr4-apps - undocumented LADR4 applications
DESCRIPTION
Some programs in the ladr4-apps package currently have no manual pages. You can obtain
documentation on some of these applications via the prover9 manual, which is available on
Debian systems via the package prover9-doc, at
/usr/share/doc/prover9-doc/manual/index.html. Alternatively invoking the application with
the -help option may produce documentation. Patches to add manual pages are welcome, and
may be sent to the Debian package maintainer, whose details are listed below.
Use ladr_to_tptp online using onworks.net services
