REPO //Trendshift
openai/navierstokesandeuler_
Lean certificates accompanying Navier-Stokes and Euler results
★ 1.6K⑂ 139Lean
Sep 9, 2026[49]
https://github.com/openai/navierstokesandeuleropenai/navierstokesandeuler
Every mention of this repository across all aggroNATION sources — one page, deduplicated.
openai/navierstokesandeuler
★ 1.6K⑂ 139
Lean certificates accompanying Navier-Stokes and Euler results
LeanApache-2.0