From 273a6891ef6418e6acfdd19a349a04d5e94c127a Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@meta.com>
Date: Wed, 17 Jul 2024 09:19:44 -0400
Subject: [PATCH] Update README.md

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 5e717b1..e3936e9 100644
--- a/README.md
+++ b/README.md
@@ -238,7 +238,6 @@ conda create --yes --name ReProver python=3.11 ipython
 conda activate ReProver
 pip install torch  # Depending on your CUDA version; see https://pytorch.org/.
 pip install tqdm loguru deepspeed "pytorch-lightning[extra]" transformers wandb openai rank_bm25 lean-dojo vllm
-pip install git+https://github.com/pytorch/torchtune
 ```
 3. Prepend the repo's root to the `PYTHONPATH` environment variable.
 4. Make sure `wget` and `tar` are available. Then, run `python scripts/download_data.py` to download [LeanDojo Benchmark 4](https://zenodo.org/doi/10.5281/zenodo.8040109). They will be saved to `./data`.