diff --git a/docs/CuratedNotes/HarmonicOscillator.html b/docs/CuratedNotes/HarmonicOscillator.html index 7f3bca8..27db4fd 100644 --- a/docs/CuratedNotes/HarmonicOscillator.html +++ b/docs/CuratedNotes/HarmonicOscillator.html @@ -42,7 +42,7 @@ function toggleDyslexiaMode() { Lean formally checks definitions, theorems and proofs for correctness. These notes are part of a much larger project called PhysLean, which aims to digitalize - high energy physics into Lean. Please consider contributing to this project. + physics into Lean. Please consider contributing to this project.

Please provide feedback or suggestions for improvements by creating a GitHub issue here.