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