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

Adrian Lehmann, Ben Caldwell, John Reppy, Robert Rand
January 2024
PDF Cite Video
Type
Workshop paper
Publication
E-Graph Research, Applications, Practices, and Human-factors (EGRAPHS)