Lean repository linked
Finite time blowup for the Euler equation
Curated listing · PDF
Lean formalisations (1)
openai/NavierStokesAndEuler at f9e8bc5b38b6
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.