Fix formatting of pip install command in README

Author: wadkisson

README.md

@@ -100,7 +100,7 @@ cd LeanDojo-v2
 python -m venv .venv
 source .venv/bin/activate
 pip install --upgrade pip
-pip install -e .[dev]
+pip install -e ".[dev]"
 pip install git+https://github.com/stanford-centaur/PyPantograph
 pip install torch torchvision torchaudio --index-url https://download.pytorch.org/whl/cu126
 ```