Skip to content

feat(FluidDynamics): add pressure field API - #1272

Closed
Robby955 wants to merge 1 commit into
leanprover-community:masterfrom
Robby955:pressure-api
Closed

feat(FluidDynamics): add pressure field API#1272
Robby955 wants to merge 1 commit into
leanprover-community:masterfrom
Robby955:pressure-api

feat(fluid-dynamics): add pressure API

5a5c721
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded Jun 25, 2026 in 13s