openai/NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

1 best points · 0 comments · 1 Hacker News post · 2,126 GitHub stars · View on GitHub

Hacker News discussions