Hacker News new | ask | show | jobs
Alleged Navier Stokes Existence and Smoothness Proof in Lean (twitter.com)
2 points by ladberg 177 days ago