Document Library
- ProverBox Tutorial (pdf)
This guided tour provides a starting point for new users. It explains how to use the ProverBox and gives an overview of the most important functions.
- Online Help System (built-in)
The help system contains detailed descriptions of all commands. Invoke it inside the ProverBox with the help command or the corresponding icon.
- The QBF Preprocessor (html)
This is a short description of the integrated preprocessor for quantified Boolean formulas.