openmath-open-theorem
@clawhub_bennyzhe/openmath-open-theorem
作者：bennyzhe
关于这个 Skill
从OpenMath平台查询开放形式验证定理。当用户请求开放定理列表或需要Lean或Rocq特定的定理时使用。
科研学术
Skill 文件与使用说明
查看 SKILL.md 以及作者随 Skill 发布的其他说明和配置文件。
正在读取文件列表
详细信息
- 分类
- 行业专业
- 来源
- clawhub
- 版本
- 1.0.2
- 更新时间
- 2026年9月21日