openmath-open-theorem
@clawhub_bennyzhe/openmath-open-theorem
By bennyzhe
About this Skill
Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...
科研学术
Skill files and instructions
Read SKILL.md and the other instructions or configuration files published with this Skill.
Loading file list
Details
- Category
- Professional
- Source
- clawhub
- Version
- 1.0.2
- Updated
- Sep 24, 2026