-2
https://github.com/yangofzeal/riemann/blob/main/A%20Refined%20and%20Rigorous%20Approach%20to%20Proving%20the%20Riemann%20Hypothesis%20(1).pdf (feedback and comments are welcome. Theorem checked with automated theorem provers using Chat-GPT 3.5 and Google Gemini)