Update coq_gym.yml

princeton-vl · Mar 22, 2021 · cde1f3f · cde1f3f
1 parent 1d97e33
commit cde1f3f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/coq_gym.yml b/coq_gym.yml
@@ -5,6 +5,7 @@ dependencies:
   - numpy=1.16.2
   - numpy-base=1.16.2
   - python=3.7.1
+  - ipython
   - black
   - mypy
   - pip=19.0.3