No results found

SemicircleLaw

Formalization of Wigner's Semicircle Law in Lean
#math #probability #random-matrix-theory