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

Update ToHTML.lean

Browse source
This commit is contained in:
jstoobysmith 2024-12-05 07:15:40 +00:00
parent 6f20b4fc10
commit 3e28ad6d66
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/Meta/Notes/ToHTML.lean
View file

@ -125,7 +125,7 @@ def leanNote : String := "
These notes are part of a much larger project called HepLean, which aims to digitalize
high energy physics into Lean. Please consider contributing to this project.
<br>
Please provide feedback by creating a GitHub issue
Please provide feedback or suggestions for improvements by creating a GitHub issue
<a href=\"https://github.com/HEPLean/HepLean/issues\">here</a>.
</p>
</div>