openai / NavierStokesAndEuler
git clone https://github.com/openai/NavierStokesAndEuler.git
Lean certificates accompanying Navier-Stokes and Euler results
+1
stars, 24h · #8,869
+~7
stars, 7 days · #9,517
+~30
stars, 30 days · #15,463
2.1k
★ total · +0% this week
223
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-08 (1mo ago)
Last push1mo ago
OwnerOrganization