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

ProverBox is free for personal non-commercial use, but requires a brief registration.

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

Getting Started is as easy as 1-2-3 Register Download the software Get the Documentation and Additional Resources

Ready? Then start with Step 1.

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