From d7be9e378c77b1d845ef04c7dea9aec57dc2233d Mon Sep 17 00:00:00 2001 From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com> Date: Wed, 26 Feb 2025 13:07:07 +0000 Subject: [PATCH] Update HarmonicOscillator.html --- docs/CuratedNotes/HarmonicOscillator.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.