teal-sea/zeta-lab

Computational number theory and Lean 4 formalization around the Riemann zeta function: a kernel-checked RH to height 100, checked proofs, rigorous numerics and negative controls. Makes no claim to have proved RH.

1 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• I extended the recent 67.25007% zeta bound to 67.28470% in Lean (1 points, 0 comments, by thomaslince, 2026-08-27)