login sign up

GitHub - openai/NavierStokesAndEuler: Lean certificates accompanying Navier-Stokes and Euler results

github.com
saved by
0 people
related read on
Navier-Stokes – Tristan Buckmaster from the discussion
Some thoughts on the Navier–Stokes Millennium Prize Problem from the discussion
On the Navier–Stokes Millennium Prize Problem from the discussion