Machine-verified research program toward a global H³ bound for 3D Navier–Stokes
Lean Updated about 1 month ago 1 commits
pulse-dev|Mirror: seanwevans/PrimeTensor-NS (⭐0)
about 1 month agoAbout
Machine-verified research program toward a global H³ bound for 3D Navier–Stokes
Readme