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

doc: Update README with contribution

Browse source
This commit is contained in:
jstoobysmith 2024-05-16 10:21:49 -04:00
parent 181407ac3b
commit afb5016d22
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -33,6 +33,8 @@ A project to digitalize high energy physics.
We follow here roughly the same contribution policies as MathLib4 (which can be found [here](https://leanprover-community.github.io/contribute/index.html)).
A guide to contributing can be found [here](https://github.com/HEPLean/HepLean/blob/master/CONTRIBUTING.md).
If you want permission to create a pull-request for this repository contact Joseph Tooby-Smith on the lean Zulip, or email.
## Installation
@ -43,7 +45,7 @@ See: https://leanprover-community.github.io/get_started.html
### Quick installation
- clone this repository
- Clone this repository
- Open a terminal in the corresponding directory.
- Run `lake exe cache get`.
- Rune `lake build`.