openmath-rocq-theorem
@clawhub_bennyzhe/openmath-rocq-theorem
By bennyzhe
About this Skill
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...
代码生成脚本工具
Skill files and instructions
Read SKILL.md and the other instructions or configuration files published with this Skill.
Loading file list
Details
- Category
- Development
- Source
- clawhub
- Version
- 1.0.3
- Updated
- Sep 23, 2026