Skip to content
experimental jupyter notebook frontend for imandra
JavaScript Jupyter Notebook OCaml Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
example_notebooks
share
src
.dockerignore
.gitignore
.gitmodules
Makefile
README.md
dune-project
jupyter-imandra.opam
requirements.txt

README.md

jupyter imandra

A very simple Jupyter kernel for Imandra

Compilation

You'll need Yojson, Nocrypto, uuidm, and ZMQ bindings for OCaml, as well as the imandra library and Z3.

$ make

Installation

Check in which directories your Jupyter looks for kernels.

$ make install install-kernel 

Start a web notebook with:

$ jupyter notebook

Examples

Using the notebook in a virtualenv

virtualenv venv -p python3
pip install -r requirements.txt
jupyter nbextensions_configurator enable --sys-prefix
jupyter-kernelspec install share/kernelspec/imandra --sys-prefix

pip install share/nbextensions/nbimandra
jupyter nbextension install --py --sys-prefix nbimandra
jupyter nbextension enable --py --sys-prefix nbimandra
You can’t perform that action at this time.