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