imandra-extract: a utility to transpile files from IML syntax into either OCaml or Reason syntax.See Jupyter installation instructions for further details. imandra-jupyter-kernel: an Imandra kernel for Jupyter notebooks.For more information, hit the /spec endpoint when the server is running for a full specification of endpoints and request/response formats for the version you have installed. imandra-http-server: an http api around core Imandra features, with endpoints for evaluation, verification, instance generation etc.imandra: this is the main Imandra entrypoint.The process is almost entirely automatic but you might be prompted for input a couple of times, either to authenticate using sudo or for setting installation paths (we recommend using the default options).Īfter the installation is finished, you should have the following binaries installed in your installation path ( /usr/local/bin unless you specified a custom one): The entire setup process will take a while.
0 kommentar(er)
