GitHub repository: FredRaj3/SemicircleLaw
Primary language: TeX
Description: Formalization of Wigner's Semicircle Law in Lean