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