math-lean

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

Star

近 7 天增长

贡献者

语言

TypeScript

更新于

2026-08-13

安装

dsh plugin --profile web add github:Fisfzy/math-lean