The ProverBox is distributed as executable jar file for Java 6.0 (or higher). Download (1.7 MB) Version: 1.6 (March 27, 2010), Release Notes SHA1: 50beb11d9bf5d79893e4f56a65a2a52aa7bd22f1 By downloading the software, you agree to the License Agreement.

Running the Software

• download the jar file into a new directory
  
  
• place the registration key (see Step 1) into the same directory
  
  
• double-click the jar file or use the shell command "java -jar proverbox.jar" to start the ProverBox

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.