openmath-submit-theorem

Skill

by bennyzhe

clawhub04/10

使用两阶段提交-揭示流程向OpenMath平台提交证明。适用于用户希望提交证明哈希或在平台上揭示Lean/Rocq证明的场景。

将Lean/Rocq证明直接提交至OpenMath平台,支持证明哈希提交和定理解决方案发布。

📊 商业分析

商业模式
free
独特价值
直接提交证明到OpenMath平台,简化定理验证流程
竞品
Lean Prover官方平台、Coq证明助手、MathHub定理库

🎯 应用场景

目标用户
数学研究者形式化验证专家高校数学系学生

📦 安装方式

openclaw install bennyzhe-openmath-submit-theorem
🔗 安装/下载链接 →