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.

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.