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

feat: Add feedback comment

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

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

@ -124,6 +124,9 @@ def leanNote : String := "
prover called Lean. Lean formally checks definitions, theorems and proofs for correctness.
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
<a href=\"https://github.com/HEPLean/HepLean/issues\">here</a>.
</p>
</div>
"