David Budden claims end-to-end Lean proof of Navier-Stokes

5 pointsposted 14 hours ago
by delichon
(twitter.com)

No comments yet