Research-draft candidate: a two-certificate trace-energy deduction giving 67.3316977142% simple critical-line zeros
riemann-zeta formal-verification riemann-hypothesis analytic-number-theory pair-correlation lean4 certified-computation simple-zeros
-
Updated
Aug 28, 2026 - Lean