We provide binary images for GNU/Linux, MacOS-X systems & Windows, along with a VirtualBox disk image:
  • Under GNU/Linux, you can download an AppImage binary image. This image comes with EasyCrypt pre-installed, along with SMT solvers (Z3, Alt-Ergo, E-Prover) and a GUI (Emacs/ProofGeneral). Once downloaded, make the image executable (using your file explorer or chmod) and run it – the embedded Emacs should then appear.
  • Under MacOS-X, we provide a native application that comes with EasyCrypt pre-installed, along with SMT solvers (Z3, Alt-Ergo, E-Prover) and a GUI (Emacs/ProofGeneral). Once downloaded the DMG image, open it and copy the application to whatever location suits you. Running the application will start the Emacs-based GUI. The application is not signed: the first time, you have to run it by right clicking on it and select Open from the menu.
  • Under Windows, we provide a portable application containing EasyCrypt pre-installed along with SMT solvers (Z3, Alt-Ergo) and a GUI (Emacs/ProofGeneral). Once downloaded the ZIP image, extract it and run the run-easycrypt program – the embedded Emacs should then appear.
  • We also provide a VirtualBox appliance that contains a pre-installed GNU/Linux system along with the aforementioned GNU/Linux binary image. Simply download the appliance, import it in your VirtualBox instance and run the system. Once booted, you will find an EasyCrypt icon on the desktop. Double-click on it: Emacs should then appear.
Downloads