Learning & researchPlugin
dsh-frontier-math
inoricon1
Evidence-gated frontier mathematics research workflow for DeepSeek Harness
Structure check pending
deepseekdeepseek-harnessdsh-pluginformal-verification
Back to catalog
GITHUB TOPIC
lean4
1projects include this topic
The "lean4" topic on GitHub groups 1 open-source project in the DeepSeek Harness (DSH) ecosystem, led by dsh-frontier-math. dsh-frontier-math — Evidence-gated frontier mathematics research workflow for DeepSeek Harness. 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