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

12 pointsposted 2 months ago
by delichon
(twitter.com)

No comments yet