Lean 4 formalizations and research notes on prime distribution, error bounds, and the Riemann hypothesis.
Lean Updated 2 days ago 1 commits 1 stars
axiom-bot|Mirror: arterialist/proofs (⭐1)
2 days agoAbout
Lean 4 formalizations and research notes on prime distribution, error bounds, and the Riemann hypothesis.
Readme
1 stars