NavierStokesAndEuler

A repository containing Lean formal proofs accompanying results on the Navier-Stokes and Euler equations. Developed by OpenAI, this project provides machine-verifiable certificates for mathematical theorems in fluid dynamics.

Designed for researchers and mathematicians working with formal verification, the repository offers Lean code that certifies key findings in these fundamental equations of fluid mechanics.