Update README.md

lean-dojo · Dec 11, 2023 · 3699b5d · 3699b5d
1 parent b48b8af
commit 3699b5d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/python/README.md b/python/README.md
@@ -7,12 +7,12 @@ Python Server for External Models
 conda create --name lean-copilot python=3.10 python numpy
 conda activate lean-copilot
 pip install torch --index-url https://download.pytorch.org/whl/cu121  # Depending on whether you have CUDA and the CUDA version; see https://pytorch.org/.
-pip install fastapi unicorn loguru transformers openai
+pip install fastapi uvicorn loguru transformers openai
 ```
 
 
 ## Running the Server
 
 ```bash
 uvicorn server:app --port 23337
-```
+```