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
1.6k
GitHub Stars
144
Forks
1.6k
Watchers
0
Open Issues
License
Apache License 2.0
Repository
openai/NavierStokesAndEulerLast Updated
Today
September 10, 2026
