这是命令 coqwc，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
coqwc - 打印 Coq 文件中的规范、证明和注释行的数量
概要
考克威克 [ -p [ -s [ -r [ -e ] 档 ...
商品描述
考克威克 计算 Coq 中规范行、证明行和注释行的数量
文件。
配置
-p 打印评论百分比
-s 仅打印规格行数
-r 仅打印校样行数
-e 不要跳过标题
使用 onworks.net 服务在线使用 coqwc
