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

docs: Update readme

Browse source
This commit is contained in:
jstoobysmith 2024-05-16 10:26:35 -04:00
parent afb5016d22
commit b3887dbaef
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
README.md
View file

@ -4,10 +4,10 @@ A project to digitalize high energy physics.
## Aims of this project
- Use Lean to create a exhaustive database of definitions, theorems, proofs and calculations in high energy physics.
- Make a libary that is easy to use by the high energy physics community.
- Use Lean to create an exhaustive database of definitions, theorems, proofs, and calculations in high energy physics.
- Make a library that is easy to use by the high energy physics community.
- Keep the database up-to date with developments in MathLib4.
- Create github workflows of relevence to the high energy physics community.
- Create gitHub workflows of relevance to the high energy physics community.
## Where to learn more
@ -48,4 +48,4 @@ See: https://leanprover-community.github.io/get_started.html
- Clone this repository
- Open a terminal in the corresponding directory.
- Run `lake exe cache get`.
- Rune `lake build`.
- Run `lake build`.