formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover
Primary LanguageLeanMIT LicenseMIT