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