Alleged Navier Stokes Existence and Smoothness Proof in Lean

(twitter.com) by ladberg | Dec 21, 2025 | 0 comments on HN