Reservoir
No results found
All Packages
ExtremeValueProject
A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)
Readme
Versions (1)
Dependencies (14)
Displaying
1-1
of
1
versions of
ExtremeValueProject
Sort by
Date
Not a part of any version track.
717a721
6 days ago
Released on May 31, 2025 at 10:19:03AM
Commit 717a721 builds on its old leanprover/lean4:v4.19.0-rc3
v4.19.0-rc3
2.1 MB
Build archive size: 2064615 bytes.
1
20