Certifying the Riemann hypothesis up to 10⁸ in Lean

Build artifacts, logs and zero store for a Lean 4 build of the formal proof that all nontrivial zeros of the Riemann zeta function with imaginary part in $(-T, T)$, for $T = 100,000,300$, lie on the critical line. The proof certifies that the first $248,008,818$ zeros with positive imaginary part, which extend just past height $T$, lie on the critical line. 

Code: https://github.com/smmercuri/zeta, tag v1-1e8 (commit 3dab648). Toolchain: leanprover/lean4:v4.33.1.