Alleged Navier Stokes Existence and Smoothness Proof in Lean

2 points| ladberg | 2 months ago |twitter.com