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

refactor(FluidDynamics): rename flow core module

e5dcd53
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Jun 14, 2026 in 37m 38s