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