term-rewriting

an archive of posts with this tag

Jul 02, 2025	What if You Never Had to Choose? A Journey into E-graphs and Equality Saturation