☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (15)
SemicircleLaw
Formalization of Wigner's Semicircle Law in Lean
#math
#probability
#random-matrix-theory
Displaying
1-2
of
2
versions of
SemicircleLaw
Sort by
Date
Not a part of any version track.
972ba89
6 days ago
Released on January 5, 2026 at 7:05:51PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0
Not a part of any version track.
f0dc6ed
v4.24.0
24 days ago
Released on December 18, 2025 at 10:20:38PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0
1
20