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