Video
Unknown · 0:00
The speaker argues that explicit analytic number theory should be reorganized as a Lean-checked network of papers, computations, and claims — a “living spreadsheet” whose downstream bounds update when you add, drop, o...
Unknown · 0:00
The speaker argues that explicit analytic number theory should be reorganized as a Lean-checked network of papers, computations, and claims — a “living spreadsheet” whose downstream bounds update when you add, drop, o...
Redirecting...