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

docs: ReadMe

Browse source
This commit is contained in:
Joseph Tooby-Smith 2024-05-14 16:16:01 -04:00 • committed by GitHub
parent e6d7f30e76
commit ea126d0fae
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 8 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

14
README.md
View file

@ -39,11 +39,13 @@ If you want permission to create a pull-request for this repository contact Jose
### Installing Lean 4
See: https://leanprover-community.github.io/get_started.html
The installation instructions for Lean 4 are given here: https://leanprover-community.github.io/get_started.html.
### Quick installation
### Installing HepLean
- clone this repository
- Open a terminal in the corresponding directory.
- Run `lake exe cache get`.
- Rune `lake build`.
- Clone this repository (or download the repository as a Zip file)
- Open a terminal at the top-level in the corresponding directory.
- Run `lake exe cache get`. The command `lake` should have been installed when you installed Lean.
- Run `lake build`.
- Open the directory (not a single file) in Visual Studio Code (or another Lean compatible code editor).