AxiomMath / ZetaZeros
git clone https://github.com/AxiomMath/ZetaZeros.git
—
+0
stars, 24h · #32,561
+~0
stars, 7 days · #39,017
+~0
stars, 30 days · #42,645
35
★ total
12
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-02 (1mo ago)
Last push1mo ago
OwnerOrganization