这是命令 coq_makefile,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
coq_makefile - Coq 证明助手生成文件生成器
概要
coq_makefile 文件 [ 参数 ]
商品描述
coq_makefile 文件 是用于 Coq 证明开发的 makefile 生成器。
配置
-h 会给你一个关于 coq_makefile 的整个选项列表的描述。
使用 onworks.net 服务在线使用 coq_makefile