We offer several ways to install Imandra:

  • Installer: If you’re new to the Imandra, the Imandra CLI is the simplest way to get access to Imandra Core and our Imandra Cloud APIs.

  • OPAM: If you have the opam package manager available, you can install Imandra OCaml components using our public opam repo.

  • Docker Image: If you don't want to bother with setting up a native environment for Imandra's OCaml components, you can use our docker image.

  • Jupyter Notebook: If you'd rather use Imandra Core via a Jupyter Notebook rather than our REPL, check out the Jupyter Notebook setup.

  • Add-ons:

    • VSCode extension: Once you've got a working Imandra Core installation, you may find it helpful to install our VSCode extension to aid development.