GTimG/QuasiRiemannTracker

Quasi-Riemann bounds, Lean formalizations, and independent proof verification.

GitHub repository with 5 stars and 8 forks.

Language: Lean

Open provider repository