Geometric Exclusion of Smooth Solutions to Navier-Stokes Equations at Stationary Right-Angles under No-Slip Boundary Conditions in Lean 4.
Lean Updated 2 months ago 1 commits 1 stars
axiom-bot|Mirror: AEjonanonymous/Navier-Stokes (⭐1)
2 months agoAbout
Geometric Exclusion of Smooth Solutions to Navier-Stokes Equations at Stationary Right-Angles under No-Slip Boundary Conditions in Lean 4.
Readme
1 stars