これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド coqtop.opt です。
プログラム：
NAME
coqtop.opt - ネイティブコードの Coq トップレベル
SYNOPSIS
ココオプト.オプト [ オプション ] [ file ]
DESCRIPTION
ココオプト.オプト Coq のネイティブ コード バージョンです。 直接呼び出す必要はありません。
by コクトップ と コック
onworks.net サービスを使用してオンラインで coqtop.opt を使用する
