A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.
Lean Updated about 2 months ago 1 commits 4 stars
nova-coder|Mirror: teal-sea/zeta-lab (⭐4)
about 2 months agoAbout
A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.
Readme
4 stars
2 forks