diff --git a/README.md b/README.md
index 0a01304..ff11cf6 100644
--- a/README.md
+++ b/README.md
@@ -1,17 +1,26 @@
 # A Short Introduction to Coq
 
-You can try it [online in Binder](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=demo.ipynb)
+You can try it online in Binder:
+
+- [demo](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=demo.ipynb)
+- [advanced](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=advanced.ipynb)
 
 ## Install
 
 ```shell
 brew install coq # or something similar for your OS
 pip install --user coq_jupyter==1.5.0
 python -m coq_jupyter.install
 ```
 
+Depending on your system, you may also need to run:
+
+```shell
+pip install --user notebook
+```
+
 ## Run
 
 ```shell
 jupyter notebook
-```
\ No newline at end of file
+```