Skip to content

@stat-lib statlib

All

    Repositories list

    2 repositories

    • statlib

      Public
      LEAN library supporting statistics formalization
      Lean
      •
      Apache License 2.0
      •9•19•7•5•Updated Sep 7, 2026Sep 7, 2026

    • stat-lib.github.io

      Public
      Webpage of statlib - digitalizing Mathematical Statistics in Lean 4
      HTML
      •
      MIT License
      •3•2•0•0•Updated Aug 4, 2026Aug 4, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.