shell
brew install coq # or something similar for your OS
pip install --user coq_jupyter==1.5.0
python -m coq_jupyter.install

shell
jupyter notebook