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