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