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