Alleged Navier Stokes Existence and Smoothness Proof in Lean

(twitter.com)

1 points | by ladberg 2 hours ago

No comments yet.