openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
Language: Lean
Stars: 1159 Issues: 0 Forks: 93
https://github.com/openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
Language: Lean
Stars: 1159 Issues: 0 Forks: 93
https://github.com/openai/NavierStokesAndEuler
GitHub
GitHub - openai/NavierStokesAndEuler: Lean certificates accompanying Navier-Stokes and Euler results
Lean certificates accompanying Navier-Stokes and Euler results - openai/NavierStokesAndEuler