Proof of the Riemann Hypothesis in Lean

 (github.com)

4 points | by chasingbrains 4 hours ago ago

1 comments