Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer Jan 1, 2025 PDF Cite Add the full text or supplementary notes for the publication here using Markdown formatting.