Navier–Stokes in Lean 4: machine-checked analytic core; Clay M6 statement open (NS_M6_OPEN); honest proved-vs-open ledger
lean navier-stokes formal-verification fluid-dynamics lean4 su3 clay-millennium morning-star-project global-regularity opera-numerorum
-
Updated
Oct 13, 2026 - Lean