Skip to content

docs(classical-mechanics): add TODO to split harmonic oscillator solution - #1326

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
nateabr:harmonic-oscillator-solution-split-todo
Jun 30, 2026
Merged

docs(classical-mechanics): add TODO to split harmonic oscillator solution#1326
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
nateabr:harmonic-oscillator-solution-split-todo

docs(classical-mechanics): remove solution TODO heading

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

Annotations

1 warning
Python based linters
succeeded Jun 30, 2026 in 12s