From Formulation to Formal Proof — Volume IV Synthesis

The HoTT-Riemann Hypothesis programme is a multi-volume effort to formulate, then prove, the Riemann Hypothesis as a proposition in homotopy type theory. This synthesis paper integrates the results of Parts I–VI and charts the path from formulation to formal proof.