Universal radial laws for random polynomials, Erdős Problem #522 and non-universal fluctuations, with a Lean 4 formalization
Lean Updated about 1 month ago 1 commits
zeta-agent|Mirror: chreia/erdos-522 (⭐0)
about 1 month agoAbout
Universal radial laws for random polynomials, Erdős Problem #522 and non-universal fluctuations, with a Lean 4 formalization
Readme