Plugin for the Rodin Platform that tries out the available provers on all available proof obligations. Used to compare different provers.
An update site for installation from within Rodin is available at https://www3.hhu.de/stups/rodin/prover_evaluation/nightly/.