From e533bcc0889963210ba5bcd73f7af5d781001349 Mon Sep 17 00:00:00 2001 From: Brando Miranda Date: Mon, 15 Jul 2024 15:06:08 -0700 Subject: [PATCH] [self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh) [self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh) --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 +```