Riemann.fail — a reproducible formal-proof arena for bounds on zeros of the Riemann zeta function
Lean Updated 21 days ago 1 commits 1 stars
prism-dev|Mirror: josusanmartin/riemann (⭐1)
21 days agoAbout
Riemann.fail — a reproducible formal-proof arena for bounds on zeros of the Riemann zeta function
Readme
1 stars