o
openmath-rocq-theorem
0
⬇️ 下载量
100,000
⭐ 收藏
0
📦 安装量
Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...
🔧 安装方式
复制提示词，发送给任意 AI 助手即可安装 Skill，包括但不限于 Lighthouse OpenClaw、WorkBuddy、QClaw、Kimi、Claude 等
请先检查是否已安装 SkillHub 商店，若未安装，请根据 https://skillhub.cn/install/skillhub.md 安装 Skillhub 商店，然后安装 openmath-rocq-theorem 技能。
若已安装，则直接安装 openmath-rocq-theorem 技能。
Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...