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

Update README.md

Browse source
This commit is contained in:
Joseph Tooby-Smith 2024-05-09 14:00:21 -04:00 • committed by GitHub
parent 1b951994ae
commit 38ff72917e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
README.md
View file

@ -43,8 +43,7 @@ See: https://leanprover-community.github.io/get_started.html
### Quick installation
1. Clone this repository.
2. Open a terminal in the cloned directory.
2. Run `lake -Kenv=dev update`.
Depending on how up to date this directory is compared to MathLib4 this may lead to errors.
- clone this repository
- Open a terminal in the corresponding directory.
- Run `lake exe cache get`.
- Rune `lake build`.