Skip to content

feat(FluidDynamics): add Navier-Stokes conservative and convective forms#1112

Merged
jstoobysmith merged 36 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics
May 26, 2026
Merged

feat(FluidDynamics): add Navier-Stokes conservative and convective forms#1112
jstoobysmith merged 36 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics

Commits

Commits on Feb 16, 2026

Commits on Feb 23, 2026

Commits on Feb 24, 2026

Commits on Feb 26, 2026

Commits on Mar 9, 2026

Commits on Mar 17, 2026

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Apr 29, 2026

Commits on May 22, 2026

Commits on May 25, 2026

Commits on May 26, 2026