Next, we’ll set up a local installation of the Imandra client - we recommend you follow through the rest of the documentation with the client running and type out the examples yourself, in order to help things stick as you learn them.

Installer (macOS and Linux only)

If you’re new to the OCaml ecosystem, the simplest way to go from zero to a working Imandra installation is to use the Imandra installer.

Opam (macOS and Linux only)

If you have the opam package manager available, you can install Imandra using our public opam repo

Docker Image

If you don't want to bother with setting up a native environment, you can use our docker image


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