Popular repositories Loading

1. riemann-hypothesis-lean4 riemann-hypothesis-lean4 Public

   Lean4 formal verification of the Riemann Hypothesis and Simple Zeros Conjecture proof

2. hilbert-polya-jacobi hilbert-polya-jacobi Public

   Explicit Hilbert–Polya Jacobi matrices for zeta, Dirichlet beta and modular L-functions — forward construction from moments, open data, interactive site

   HTML