Lean-verified refinement of the zeta simple-zero bound (67.251%)zenodo.org2 points·TakayukiKomada··0 commentsOpen articleSaveView on HN