Skip to content

@StatLean StatLean

All

    Repositories list

    3 repositories

    • Stoogle

      Public
      Natural-language theorem search for StatLean, a Lean 4 library of formalized statistics. CLI, HTTP API and MCP server.
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 19, 2026Oct 19, 2026

    • Stat-Lean

      Public
      Lean 4 formalization of Statistical Theory
      Lean
      •
      Other
      •5•7•0•0•Updated Oct 15, 2026Oct 15, 2026

    • statlean.github.io

      Public
      StatLean website + doc-gen4 docs (GitHub Pages root site)
      0•0•0•0•Updated Aug 5, 2026Aug 5, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.