GITHUB TOPIC
1projects include this topic
The "lean" topic on GitHub groups 1 open-source project in the DeepSeek Harness (DSH) ecosystem, led by scholia. scholia — A formal proof is legible to a compiler, not to a mathematician. Every project here is indexed by DSH Universe with live GitHub data — stars, activity and install status — so you can compare and install directly.
{count} projects
Exact GitHub Topic match
H2CO3w
A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4 / Mathlib theorem as a paper page and reduces its 1,829-module dependency cone to one readable main line. 形式化证明 → 可读论文。