これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレータ、MAC OS オンライン エミュレータなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks の無料ホスティング プロバイダで実行できるコマンド ladr_to_tptp です。
プログラム：
NAME
ladr4-apps-文書化されていないLADR4アプリケーション
DESCRIPTION
のいくつかのプログラム ladr4-アプリ パッケージには現在マニュアルページがありません。 入手できます
これらのアプリケーションのいくつかに関するドキュメント 証明者9 マニュアル、で利用可能です
パッケージを介したDebianシステム 証明者9-doc、at
/usr/share/doc/prover9-doc/manual/index.html。 または、でアプリケーションを呼び出す
-助けて オプションはドキュメントを作成する場合があります。 マニュアルページを追加するためのパッチは大歓迎です、そして
詳細を以下に示すDebianパッケージメンテナに送信できます。
onworks.net サービスを使用してオンラインで ladr_to_tptp を使用する
