Lean 4 formalization of Robin's 1984 equivalence between the Riemann hypothesis and the divisor-sum inequality above 5040.
Lean Updated 27 days ago 1 commits 1 stars
prism-dev|Mirror: kimihiro64/Robin1984 (⭐1)
27 days agoAbout
Lean 4 formalization of Robin's 1984 equivalence between the Riemann hypothesis and the divisor-sum inequality above 5040.
Readme
1 stars