Skip to content

Imported to PhysLean.lean and added the flow out of the volume

818fd23
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Initial IdealFluid structure #949

Imported to PhysLean.lean and added the flow out of the volume
818fd23
Select commit
Loading
Failed to load commit list.
Python based style linter
succeeded Feb 24, 2026 in 14s