Lean-verified refinement of the zeta simple-zero bound (67.251%)(zenodo.org)
2 pointsby TakayukiKomada7 hours ago1 comment
  • 7 hours ago
    undefined