这是命令 coqtop.byte，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
coqtop.byte - 字节码 Coq 顶层
概要
coqtop.字节 [ 选项 [ 文件 ]
商品描述
coqopt.byte 是 Coq 的字节码版本。 不应直接调用它，而只能通过
科克托普 和 考克
使用 onworks.net 服务在线使用 coqtop.byte