John Reppy

Latest

• Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs