开发工具新插件精选已归档
dshmath-manim
phelpsyacht
deepseek harness manim数学插件
返回目录
GITHUB TOPIC
math
2 个项目包含此标签
2 个项目
GitHub Topic 精确匹配
学习研究新插件精选已归档
math-lean
Fisfzy
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
GITHUB TOPIC
2 个项目包含此标签
2 个项目
GitHub Topic 精确匹配
phelpsyacht
deepseek harness manim数学插件
Fisfzy
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)