math-lean
Fisfzy/math-lean · Fisfzy
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
项目资料
基本信息
- Star
- 1
- 派生
- 0
- 语言
- TypeScript
- 许可证
- 未标注
- 创建时间
- 2026-08-13
- 最近更新
- 2026-08-13
同一分类
还可以看看
开发与自动化 · 插件deepseek-harnessdeepseek-aiDeepSeek Harness: Everything is a Plugin.
开发与自动化 · 插件webnovel-writerlingfengQAQ基于 Claude Code 的长篇网文辅助创作系统，解决 AI 写作中的「遗忘」和「幻觉」问题，支持 200 万字量级 连载创作。
开发与自动化 · 插件deepwiki-rssopacoTurn code into clarity. Generate accurate technical docs and AI-ready context in minutes—perfectly structured for human teams and intelligent agents.