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