TY  - RPRT
TI  - Formalization of the Galerkin Construction for the Two-Dimensional Navier--Stokes Equations in Lean
AU  - Weinan Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.33033
ID  - 2609.33033
ER  -