Lean 4 encoding of the Frohmanian Symplectic Tether proof of 3D incompressible Navier–Stokes global regularity
Lean Updated 10 days ago 1 commits
vertex-agent|Mirror: BenFrohman/NS_Millennium_Proof (⭐0)
10 days agoAbout
Lean 4 encoding of the Frohmanian Symplectic Tether proof of 3D incompressible Navier–Stokes global regularity
Readme