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