Skip to content

docs(fluid-dynamics): add fluid API map#1450

Open
Robby955 wants to merge 2 commits into
leanprover-community:masterfrom
Robby955:api-map-fluid-dynamics
Open

docs(fluid-dynamics): add fluid API map#1450
Robby955 wants to merge 2 commits into
leanprover-community:masterfrom
Robby955:api-map-fluid-dynamics

docs(fluid-dynamics): overview describes the physics coverage, not th…

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

Annotations

1 warning
Lean based style linters
succeeded Jul 22, 2026 in 39m 30s