Update README.md

loganrjmurphy · May 28, 2024 · e24f851 · e24f851
1 parent 4ec694d
commit e24f851
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -44,7 +44,9 @@ ______________________________________________________________________
 
 * A working setup of [Lean 4](https://lean-lang.org/), including [elan](https://github.com/leanprover/elan) and [Lean's VSCode extension](https://lean-lang.org/lean4/doc/quickstart.html)
 * The latest version of [Z3](https://github.com/Z3Prover/z3) and [CVC5](https://cvc5.github.io/)
-* Install Python dependencies: `pip install smt-portfolio leanblueprint invoke pandoc watchfiles openai`
+* Install Python dependencies: `pip install smt-portfolio`
+* Optional: If you want to build the blueprint locally: `pip install leanblueprint`
+* Optional: If you want to run autoformalization experiments using GPT-4: `pip install openai`