English E-graph Cited by user Siddharthist on 06 Dec 2023 In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language.