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

Merge pull request #95 from HEPLean/index-typos

Browse source 
Fix typo in `index.md`
This commit is contained in:
Joseph Tooby-Smith 2024-07-26 07:12:30 -04:00 • committed by GitHub
commit 94e7f03820
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
docs/index.markdown
View file

@ -22,7 +22,7 @@ HepLean has the potential to benefit the high energy physics community in four w
- Make it easier to check papers and results for mathematical correctness.
- Create new avenues through which high energy physics can be taught.
HepLean is a connection between high energy physics (both formal and pheno),
HepLean is a connection between high energy physics (both formal and phenomenological),
computer science, and mathematics.
# How to get involved?
@ -39,8 +39,8 @@ to HepLean.
definitions added.
- <b>Add a new area</b>: We want HepLean to expand into a new areas of high energy physics.
If you have expertise in any area and would like to see it digitalised, either get in touch or
make a relavent pull-request on GitHub.
- <b>Develop new tactics</b>: A benifit of Lean is the ability to automate proofs. This
make a relevant pull-request on GitHub.
- <b>Develop new tactics</b>: A benefit of Lean is the ability to automate proofs. This
is often done through proof tactics. The development of such tactics specific to high-energy physics
will make it easier for the high-energy physics to use and adapt to Lean.
- <b>Coding aspects</b>: Improvements to GitHub workflows, and other structural aspects of this