これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド coqwc です。
プログラム:
NAME
coqwc - Coq ファイル内の仕様、証明、およびコメント行の数を出力します。
SYNOPSIS
コックウック [ -p ] [ -s ] [ -r ] [ -e ] ファイル ...
DESCRIPTION
コックウック Coq の仕様行、校正行、およびコメント行の数を計算します。
ファイル。
OPTIONS
-p コメントの割合を出力します
-s 仕様行数のみを出力
-r 校正行数のみを印刷する
-e ヘッダーをスキップしないでください
onworks.net サービスを使用してオンラインで coqwc を使用する