Extensions to the Comprehensive Framework for Saturation Theorem Proving by Jasmin Christian Blanchette 🌐 and Sophie Tourret 🌐 Aug 25