Skip to content
@Lean-MoDS

Lean-MoDS

A collection of Lean libraries for mathematics of data science.

Popular repositories Loading

  1. StatsMLlib StatsMLlib Public

    Verified probability, statistics, and learning theory in Lean 4

    Lean 24 5

Repositories

Showing 1 of 1 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…