This page temporarily redirects to gemini://dcreager.net/theory/e-graphs/.

E-graphs

=> What's in an e-graph? [Max Bernstein] | Acyclic e-graphs and smart constructors [Philip Zucker]

=> » Theory

Proxy Information
Original URL
gemini://dcreager.net/theory/e-graphs
Status Code
Success (20)
Meta
text/gemini;lang=en
Capsule Response Time
811.44858 milliseconds
Gemini-to-HTML Time
0.260837 milliseconds

This content has been proxied by September (3851b).