TY  - RPRT
TI  - How to prove equations using diagrams: A categorical and operational semantics for e-graphs
AU  - Evan Patterson
PY  - 2026
UR  - https://arxiv.org/abs/2611.05924
ID  - 2611.05924
ER  -