Changes
2 changed files (+4/-2)
-
-
@@ -22,9 +22,11 @@ Do the following:1. Install Lean 4 and VS Code following these [instructions](https://github.com/leanprover/lean4/blob/master/doc/quickstart.md). It isn't enough just to install the Lean 4 extension; make sure you complete the steps so that Lean 4 and elan are installed. 2. In a terminal, navigate to the folder where you want to put a copy of the repository, and type `git clone git@github.com:leanprover-community/mathematics_in_lean.git` 2. Make sure you have [git](https://git-scm.com/) installed. In a terminal, navigate to the folder where you want to put a copy of the repository, and type `git clone https://github.com/avigad/mathematics_in_lean_source.git` to fetch it from github. 3. Navigate to `mathematics_in_lean`, and execute `lake exe cache get` to fetch a compiled
-
-