1 #lean DeepSeek Harness (DSH) Plugins

Every indexed repository carrying the GitHub topic lean, sorted by stars. The tag is the author's own word for it — the install verdict on each card is ours.

Repositories tagged #lean, most-starred first

M

Math Lean

Fisfzy

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

Not checked1