☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
zeta-rigidity
0.2.0
A rigidity theorem: a valuation whose Dirichlet series matches the Riemann zeta function must be the ordinary primes.
#math
#number-theory
#analytic-number-theory
#prime-numbers
#riemann-zeta-function
#formalization
Displaying
1-1
of
1
versions of
zeta-rigidity
Sort by
Date
0.2
Version track: 0.2
0.2.0
a month ago
Released on October 4, 2026 at 5:03:43PM
Commit ac9a691 builds on its recent leanprover/lean4:v4.34.1
v4.34.1
5.9 MB
Build archive size: 5933243 bytes.
1
20