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.