Alleged Navier Stokes Existence and Smoothness Proof in Lean

2 pointsposted 2 months ago
by ladberg
(twitter.com)

No comments yet