返回工作流技能

开发与工程OpenMath Rocq 定理证明PW

作者bennyzhe

开发与工程 Skill

OpenMath Rocq 定理证明

使用 Rocq 证明助手进行数学定理证明

0使用21点赞26浏览

这个技能会做什么

使用 Rocq 证明助手进行数学定理证明

先确认目标、输入和成功标准
保留证据与无法确认的边界
输出可继续编辑的结构化结果

安装方式npx clawhub@latest install openmath-rocq-theorem查看来源