Todo #6YB2U: the force corresponding to the harmonic oscillator potential#604

Merged

LodeVermeulen merged 12 commits intomasterfrom

lodevermeulen/todos/harmonic-potential

Jul 22, 2025

Commits on Jun 9, 2025

First version of the derivation of the force corresponding to the harmonic oscillator potential.
LodeVermeulen
committed
Merge branch 'master' into lodevermeulen/todos/harmonic-potential
LodeVermeulen
committed
Merge changes
LodeVermeulen
committed

Commits on Jul 18, 2025

Commits on Jul 19, 2025

Some progress towards making Solution.lean compile.
LodeVermeulen
committed

Commits on Jul 21, 2025