 | The ProverBox is distributed as executable jar file for Java 7 (or higher). Download (1.9 MB) 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.