01openai/NavierStokesAndEulerLean#47508 overallLean certificates accompanying Navier-Stokes and Euler results7 daysStars2.1k24h gain-Score0.0