Installation¶

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.