diff --git a/README.md b/README.md
index 3ad293f..0fd78c2 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 Python interface to the Pantograph library
 
 # Getting started
+Note: For [self-contained `install.sh` script for lean](https://github.com/brando90/learning_lean/blob/main/install.sh).
 
 ## Install 1: With Conda and Pip in the SNAP cluster
 
@@ -139,4 +140,4 @@ cd ~/PyPantograph
 python -m pantograph.server
 # python $HOME/PyPantograph/pantograph/server.py
 # python $HOME/PyPantograph/test_vllm.py
-```
\ No newline at end of file
+```