lean4

测试与质量

更新于 10-13 22:01

技能介绍

中文介绍正在整理，稍后补充。

在支持 Agent Skills 的工具中使用。

npx skills add https://github.com/cameronfreer/lean4-skills --skill lean4

安装量：439