これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド Why-dp です。
プログラム：
NAME
理由-多言語マルチプロバイダー検証ツール
SYNOPSIS
なぜ [ オプション ] ファイル
DESCRIPTION
なぜ 検証ツールです。 注釈付きプログラムを入力として（MLまたはC構文で）受け取り、
いくつかの証明アシスタント（Coq、PVS、HOL Light、Mizar）の検証条件を出力します
および決定手順（haRVey、Simplify）。
OPTIONS
-h ヘルプ。 コマンドラインオプションの完全なリストが表示されます。
作者
ジャン·クリストフ フィリアトレ <[メール保護]>
onworks.net サービスを使用してオンラインで Why-dp を使用する
