360 安全技能中心

shentu-ai

clawhub

shentu-ai

@shentu-ai

公开技能 1 个

发布的技能

返回作者列表

O

openmath-rocq-theorem

安全

配置 Rocq 证明环境，并在 OpenMath 定理工作区中完成与验证 Rocq 证明。

兼容性待确认热度 53.88

查看详情