math-lean
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
新面孔1forked 0
安装
这是一个带 dsh-plugin 话题的 GitHub 仓库——仓库 README 才是权威安装来源。使用下面的模板，按 README 调整包名/路径：
dsh plugin --profile web add $math-lean本地开发？ 用 dsh --profile web --patch ./cordis.yml 加绝对路径插件——见插件开发。GitHub 源码？ dsh plugin --profile web add github:$Fisfzy/$math-lean——需要仓库里有 prepare 脚本（见打包发布）。
基本信息
| 仓库 | Fisfzy/math-lean |
| 许可证 | none |
| 分类 | 工具 |
| 状态 | 实验性 |
| 声明兼容 | not stated |
| 最近提交 | 2026-08-13 |
| 收录时间 | 2026-08-13 |
关于本条：2026-08-13 通过 GitHub API 核实存在。标为
Declared 的兼容性是作者声明，dsh.so 尚未独立测试。版本兼容见更新日志。加入社区
问题或建议？官方 Discussions 是项目规范的支持渠道；Discord 里能找到活跃的社区成员。dsh.so 本身欢迎通过提交插件或反馈改进。