Sophie Tourret, Jasmin Blanchette: A modular Isabelle framework for verifying saturation provers. CPP 2021: 224-237