Open
QED
Docs
Leaderboard
Sign in
Back to problems
Navier-Stokes Existence and Smoothness
Do smooth solutions to the 3D Navier-Stokes equations always exist globally in time?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute