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.