Science ❯ Physics ❯ Fluid Dynamics ❯ Navier-Stokes Equations
Independent mathematicians will verify a machine‑checked Lean proof before the Clay Mathematics Institute assesses prize eligibility.
