SemicircleLaw
Formalization of Wigner's Semicircle Law in Lean
Sort by
Require Order
checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
v4.21.0
The math library of Lean 4Hammer
608e38a
lean4.18.0
v4.21.0
608e38a