Skip to content

v4.32.0

Choose a tag to compare

View all tags
@YuanheZ YuanheZ released this 28 Jul 19:29
· 144 commits to main since this release
v4.32.0
f298192

Unified v4.32.0 release of StatsMLlib, with verified probability, statistics, and learning theory modules under the StatsMLlib namespace. Pinned to Lean and Mathlib v4.32.0.

Assets 2
Loading