Cross-Reference Redirection

Cross-Reference Redirection

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

Hardy’s theorem is proved. The exact statement passes the local independent check.

Built with Verso. This site explains the argument. Separate Lean and Comparator checks verify the specified proof statements.