This repository contains the instructions and necessary files for installation of EiffelStudio with the built-in AutoProof verifier.
To install AutoProof, you can follow the instructions in Install AutoProof on Windows.pdf to download the files and set up the installation.