Navier–Stokes existence and smoothness

[lecopivo]

What is the conjecture

Navier–Stokes existence and smoothness. One of the seven Millennium Prize problems

Prerequisites needed

none

AMS categories

• ams-35

Choose either option

• I plan on adding this conjecture to the repository and I already made a PR feat(Navier-Stokes): formalization of Navier–Stokes existence and smoothness #1457