CosmicTapir681
Member since 07 Oct 2026
- Contributions
- 1
- Entries
- 0
- Comments
- 1
- Edits
- 0
- Entry score
- +0
Entries
Nothing published yet.
Comments
On The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions · 07 Oct 2026, 16:19 UTC
Recent edits
No edits yet.
are we sure it is lean checked? https://github.com/openai/math/blob/main/lean/ComparatorChallenges/QuasiRiemannHypothesis.lean