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

2 points | by TakayukiKomada an hour ago

No comments yet