Hacker News

new
show
ask
jobs

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

5 points

by delichon

13 hours ago

story

loading...