Jackson, Mike, Benyon, David, Lowe, Helene, "Using ERMIA for the Evaluation of a Theorem Prover Interface", , 2025