Lean 4 formalization and research ledger for "Riemann Hypothesis Research Program: Complete Progress Report and Formal Ledger" by Logan Eberwein (year-long independent program). SR/Rees matrix theorems, 190 documented approaches, and corrections. Not a proof of RH.
Lean Updated 15 days ago 1 commits
axiom-bot|Mirror: loganeberwein6/Logan-Eberwein-RH-Research (⭐0)
15 days agoAbout
Lean 4 formalization and research ledger for "Riemann Hypothesis Research Program: Complete Progress Report and Formal Ledger" by Logan Eberwein (year-long independent program). SR/Rees matrix theorems, 190 documented approaches, and corrections. Not a proof of RH.
Readme