Skip to content
#

grh

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Lean 1 MATLAB 1 SCSS 1

DavidFox998 / rh-growth-contradiction

Star 1

Route C of 4 — Act III Growth. RH via contradiction: |ζ|≤C(log t)² false via Littlewood 1924 Ω exp(c√(log t/log log t)). Zero repulsion c1=0.209>0.2 β>0.9 closed at p5 → S₄={2,3,19,191} C=11.422>2√13 → GRH → H₄ 12/11 → RH. Lean 4.12 0 sorry. Opera Numerorum with A, B, D 35 brothers desert.

riemann-zeta number-theory mathlib grh riemann-hypothesis analytic-number-theory littlewood lean4 riemann-zeta-function formal-proof riemann-hypothesis-lean4-mathematics riemann-zeta-constant bost-connes x0-143 riemann-zeta- kronecker-theorem omega-result zero-repulsion
  • Updated Aug 10, 2026
  • Lean

Improve this page

Add a description, image, and links to the grh topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the grh topic, visit your repo's landing page and select "manage topics."

Learn more