Back to Tools Directory
This tool's information is being prepared. Some details may be incomplete.
Lean certificates accompanying Navier-Stokes and Euler results
Categories & Topics
No tags available
Repository Stats
2.1k
GitHub Stars
225
Forks
2.1k
Watchers
0
Open Issues
License
Apache License 2.0
Repository
openai/NavierStokesAndEulerLast Updated
Today
October 24, 2026
