EGraphs

Table of Contents

1. Resources about e-graphs

https://github.com/egraphs-good https://egraphs-good.github.io/ https://egraphs.zulipchat.com/ https://egraphs.org/

2. E-graph implementations

3. TODO Embeddings

embedding "disequivalence", e.g. is ( x 0)= equivalent to true?

Created: 2025-03-20 Thu 01:16