Hardy zeta
Hardy zeta
Table of Contents
1.
Whole project graph
2.
Follow the proof
3.
Read the status correctly
4.
Technical terms
5.
Lean terms and types
6.
The finite-difference proof
7.
Completed proof steps
8.
Verification and source
9.
Sharp Five Exponentials
10.
Four Exponentials
11.
Checked Lean source
8.
Verification and source
8.1.
Checked proof snapshot
8.2.
Read the Lean
8.3.
Pins and trust boundary
8.4.
Writing standard
←
7.2. Methods no longer required
8.1. Checked proof snapshot
→
8. Verification and source
🔗
8.1.
Checked proof snapshot
8.2.
Read the Lean
8.3.
Pins and trust boundary
8.4.
Writing standard
←
7.2. Methods no longer required
8.1. Checked proof snapshot
→