💾 Archived View for dcreager.net › theory › e-graphs captured on 2024-12-17 at 09:34:15. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-09-29)

-=-=-=-=-=-=-

E-graphs

What's in an e-graph? [Max Bernstein]

Acyclic e-graphs and smart constructors [Philip Zucker]

» Theory