#

global-regularity

Here is 1 public repository matching this topic...

BenFrohman / NS_Millennium_Proof

Lean 4 formalization of the Frohmanian Symplectic Tether- a geometric approach to the 3D Navier–Stokes Millennium Problem.

mathematics formalization navier-stokes mathematical-physics symplectic-geometry navier-stokes-equations lean4 millennium-problem global-regularity

Updated Jun 29, 2026
Lean

Improve this page

Add a description, image, and links to the global-regularity topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the global-regularity topic, visit your repo's landing page and select "manage topics."