David Budden claims end-to-end Lean proof of Navier-Stokestwitter.com12 points·delichon··0 commentsOpen articleSaveView on HN