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

(twitter.com) by delichon | Dec 21, 2025 | 0 comments on HN