Hardy zeta: full project blueprint
1
Scope and status
2
HardyZeta: checked declarations
3
SharpFiveExponentials: checked declarations
4
FourExponentials: checked declarations
5
Open proof steps and deferred targets
Dependency graph
4 FourExponentials: checked declarations
Definition
4.1
Conjecture
✓
#
L∃∀N
Lean declarations
FourExponentials.Conjecture
Prop
This definition states a proposition. It does not prove that proposition.
Definition
4.2
NormalizedConjecture
✓
#
L∃∀N
Lean declarations
FourExponentials.NormalizedConjecture
Prop
This definition states a proposition. It does not prove that proposition.