Skip to content

docs(classical-mechanics): add configuration API maps - #1444

Merged
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
Robby955:api-map-classical-mechanics
Jul 23, 2026
Merged

docs(classical-mechanics): add configuration API maps#1444
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
Robby955:api-map-classical-mechanics

docs(classical-mechanics): pendulum overview describes the physics co…

d5e6328
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 38m 18s