Lean-verified refinement of the zeta simple-zero bound (67.251%)

(zenodo.org) by TakayukiKomada | Sep 3, 2026 | 0 comments on HN