Skip to content

feat(ClassicalMechanics): add Caldirola-Kanai lagrangian for the damped harmonic oscillator#1354

Merged
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
giuseppesorge:damped-oscillator-lagrangian
Jul 3, 2026
Merged

feat(ClassicalMechanics): add Caldirola-Kanai lagrangian for the damped harmonic oscillator#1354
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
giuseppesorge:damped-oscillator-lagrangian

docs(ClassicalMechanics): point inherited energy API-map locations at…

4a5911e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
update-label
succeeded Jul 2, 2026 in 3s