Alleged Navier Stokes Existence and Smoothness Proof in Lean

1 pointsposted 8 hours ago
by ladberg
(twitter.com)

No comments yet