Reservoir
No results found
All Packages
SemicircleLaw
Formalization of Wigner's Semicircle Law in Lean
#math
#probability
#random-matrix-theory
Readme
Versions (1)
Dependencies (10)
semicircle-law-lean
Formalization of Wigner's Semicircle Law in Lean