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