これは、最新リリースを afp-2019-08-19.tar.gz としてダウンロードできる Linux オンラインで実行する Archive of Formal Proofs という名前の Linux アプリです。 これは、ワークステーション用の無料のホスティング プロバイダーである OnWorks でオンラインで実行できます。
Archive of Formal Proofs という名前のこのアプリをオンラインでダウンロードして実行し、OnWorks を使用して Linux オンラインで無料で実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
Linux でオンラインで実行する正式な証明のアーカイブ
DESCRIPTION
Archive of Formal Proofsは、定理証明者Isabelleで機械的にチェックされた、証明ライブラリ、例、およびより大規模な科学的開発のコレクションです。 それは科学雑誌のように構成されています。 提出物は参照されます。Audience
科学/研究
ユーザーインターフェース
Xウィンドウシステム（X11）
プログラミング言語
OCaml（Objective Caml）、Haskell、Standard ML
これは、https：//sourceforge.net/projects/afp/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。
