Rudi Schneider

Publications

1. POPL'26 Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

   Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens

2. PLDI'25 Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs

   Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer