Zeta3Irrational

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
checkdecls75d7aea
Tiny Lean library to check existence of declarations
Git dependency.
Found on Reservoir.
doc-gen478993d2
Document Generator for Lean 4
Git dependency.
Found on Reservoir.
mathlibv4.18.0
The math library of Lean 4
Git dependency.
Found on Reservoir.
PrimeNumberTheoremAnd5365476
blueprint for prime number theorem and more