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