Jupyter notebook setup

You'll first need to run the recommended, simple installation of Imandra.

After running the simple installer, you should see imandra-jupyter-kernel on your path. You'll now need to install the kernel as part of your local Jupyter setup in order to invoke this.

To install the Imandra and Imandra-reason kernels, run the following commands:

(Note: if you have a more intricate Jupyter environment setup or if you use conda, you'll need to adjust the commands accordingly to install things into the correct location).

# install imandra and imandra kernels
jupyter kernelspec install /usr/local/var/imandra/_opam/share/jupyter/kernelspec/imandra
jupyter kernelspec install /usr/local/var/imandra/_opam/share/jupyter/kernelspec/imandra-reason

#install nbimandra notebook extensions as a python package (assumes this is in the same package target as jupyter itself)
pip install /usr/local/var/imandra/_opam/share/jupyter/nbextensions/nbimandra

#install nbimandra as an extension from the installed python package
jupyter nbextension install --py nbimandra
jupyter nbextension enable --py nbimandra