ProverBox Download

The ProverBox is distributed as executable jar file for Java 7 (or higher).

Download (1.9 MB)
Version: 1.8.1 (August 1, 2014), Release Notes
SHA1: 7f0a0eec75d6bc97c19d12bbee1fafe6f1055ae3

By downloading the software, you agree to the License Agreement.

Running the Software

  • Download the jar file into a new directory. No further install is required.
     
  • Double-click the jar file or use the shell command "java -jar proverbox.jar" to start the ProverBox (Java must be available on the computer).

To help you get started, we provide a ProverBox Tutorial on the Documentation Page. In addition, the software has a built-in online help which describes all commands.

Finally, have a look at the Resources Page for additional material, such as Example Specifications.