ProverBox Logo

Automated Reasoning Environment

The ProverBox is a software environment for logic and automated reasoning. It is a modular and extensible platform which integrates multiple logics and multiple theorem proving algorithms. The software provides a modern user interface with an integrated editor and visualization capabilities. Interested? Read on...


  • August 1, 2014: ProverBox 1.8.1 is a new maintenance release with various small improvements (Release Notes).
  • March 1, 2013: ProverBox 1.8 with a lot of improvements is now available. Highlights are: user registration is no longer required, the QBF preprocessor has been improved, and operation without GUI (e.g. on machines without X server) is now possible. See Release Notes for more information.