Update README.md

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`.