Rudi Schneider

Latest

• Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation
• Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
• The paper 'Slotted E-Graphs - First-Class Support for (Bound) Variables in E-Graphs' was accepted at ACM SIGPLAN PLDI 2025.