StatLean
Organization@statlean
Formalization of Statistical Theory
On GitHub since June 2026
1
Published Tools
1
Total Stars
0
Weekly Downloads
2
GitHub Followers
3
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryStatLean
A
Natural-language theorem search for StatLean, a Lean 4 library of formalized statistics. CLI, HTTP API and MCP server.
MCP Serveruncategorised
11 dir