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