README.md: update build instructions to install mathlib. Closes #105.

leanprover · Dec 23, 2020 · af97583 · af97583
1 parent aedbf98
commit af97583
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,12 @@ Built using Sphinx and restructured text.
 
 # How to build
 
+Make sure you have Lean installed. Use
+```
+leanproject get [email protected]:leanprover/theorem_proving_in_lean.git
+```
+to clone the repository and install the `mathlib` library. 
+
 The build requires python 3 (install `python3-venv` on ubuntu).
 
 ```