Open Issues Need Help
View All on GitHub help wanted review correction
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta
help wanted proposal
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta
Independent review requested: L9 §§2–4 17 days ago
help wanted review status: proved-written
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta