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

github.com

saved by: 0 people
related read on: Some thoughts on the Navier–Stokes Millennium Prize Problem from the discussion