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

(zenodo.org)

2 points | by TakayukiKomada 7 hours ago ago

1 comments

  • 7 hours ago
    [deleted]