DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update HarmonicOscillator.html

Browse source
This commit is contained in:
jstoobysmith 2025-02-26 13:07:07 +00:00
parent f6607bfa58
commit d7be9e378c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/CuratedNotes/HarmonicOscillator.html
View file

@ -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
<a href="https://github.com/HEPLean/PhysLean">PhysLean</a>, which aims to digitalize
high energy physics into Lean. Please consider contributing to this project.
physics into Lean. Please consider contributing to this project.
<br><br>
Please provide feedback or suggestions for improvements by creating a GitHub issue
<a href="https://github.com/HEPLean/HepLean/issues">here</a>.