💾 Archived View for dcreager.net › theory › e-graphs captured on 2024-09-29 at 00:11:51. Gemini links have been rewritten to link to archived content
View Raw
More Information
-=-=-=-=-=-=-
What's in an e-graph? [Max Bernstein]
Acyclic e-graphs and smart constructors [Philip Zucker]
» Theory