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: —
• First seen: —