Skip to content

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

Merged
jstoobysmith merged 24 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics_2
Jul 22, 2026
Merged

feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 ,#1125
jstoobysmith merged 24 commits into
leanprover-community:masterfrom
FloWsnr:feat/fluid_dynamics_2

Commits

Commits on Jul 22, 2026