Alleged Navier Stokes Existence and Smoothness Proof in Lean #1 Post by ladberg » Sun, Dec 21, 2025, 10:09 AM UTC Alleged Navier Stokes Existence and Smoothness Proof in Leantwitter.com