Alleged Navier Stokes Existence and Smoothness Proof in Lean
Posted 2 months ago by
ladberg
2
points
https://twitter.com/davidmbudden/status/2002627726877069805
0
comments