openmath-rocq-theorem

关于这个 Skill

配置 Rocq 环境，执行预检，并引导 OpenMath Rocq 定理的证明工作流。适用于用户需要设置 Rocq 工具链、运行环境检查或完成定理证明任务的场景。