Fisfzy/math-lean

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

Install

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

Details

• Repo: Fisfzy/math-lean
• Category: Other
• Stars: 1
• Last push: 2026-08-13
• First seen: 2026-08-13

More plugins in Other

★173.5k deepseek-ai/deepseek-harness★10.6k awesome-dsh-plugin/awesome-dsh-plugin★6.4k yjh051108/dsh-routing-suite★4.3k Devin-AXIS/iPolloWork