The ProverBox software is a pure Java application and runs on any operating system with Java 7 (or higher) installed.

ProverBox is free for personal non-commercial use.

Commercial Users: please contact us to obtain a ProverBox license.

Getting Started is as easy as 1-2-3

  1. Review and accept the License Terms.
     
  2. Download and run the software without installation.
     
  3. Get the Documentation and Additional Resources.
  

Ready? Then start with Step 1.

Disclaimer: Java is a trademark of Sun Microsystems, Inc.