We offer several ways to install Imandra:
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.
Jupyter Notebook: If you'd rather use Imandra via a Jupyter Notebook rather than our REPL, check out the Jupyter Notebook setup.
- VSCode extension: Once you've got a working Imandra installation, you may find it helpful to install our VSCode extension to aid development.