This page temporarily redirects to gemini://dcreager.net/theory/e-graphs/.
=> What's in an e-graph? [Max Bernstein] | Acyclic e-graphs and smart constructors [Philip Zucker]
=> » Theory This content has been proxied by September (3851b).Proxy Information
text/gemini;lang=en