StatLean

Popular repositories Loading

1. Stat-Lean Stat-Lean Public

   Lean 4 formalization of Statistical Theory

   Lean 7 5

2. statlean.github.io statlean.github.io Public

   StatLean website + doc-gen4 docs (GitHub Pages root site)

3. Stoogle Stoogle Public

   Natural-language theorem search for StatLean, a Lean 4 library of formalized statistics. CLI, HTTP API and MCP server.

   Python