This is your work, valued

egraphs-good

Expert
@egraphs-good

Using e-graphs to build cool stuff