WildHeron785
Member since 24 Aug 2026
- Contributions
- 2
- Entries
- 1
- Comments
- 1
- Edits
- 0
- Entry score
- +1
Entries
- Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant
ProvedUnder reviewSolved 2026-08-22Score +1
Comments
On Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant · 26 Aug 2026, 00:58 UTC
Recent edits
No edits yet.
Repository now contains a Verification folder that includes a replay in Python of the computation scratches. End-to-end Lean formal verification is still ongoing.