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.
- VSCode extension: Once you've got a working Imandra Core installation, you may find it helpful to install our VSCode extension to aid development.