Comment by jgbuddy

Here's the formalization / lean verification: https://github.com/openai/NavierStokesAndEuler