Our paper Proof Primitives for Equality Saturation-based Automated Provers is accepted at the VeriLang Workshop at ECOOP ‘26 🎉 See you in Brussels, Belgium 🇧🇪