Fisfzy

math-lean

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

Stars

1

Language

TypeScript

Created

Aug 13, 2026

Updated

Aug 13, 2026