Skip to content

feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 ,#1125

Open
FloWsnr wants to merge 18 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics_2
Open

feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 ,#1125
FloWsnr wants to merge 18 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics_2

Commits

Commits on May 27, 2026

Commits on Jun 14, 2026