ProverBox
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...
News
ProverBox
