How to prove equations using diagrams, part 1 – Evan’s Blog
- This post is cross-posted at the Topos Institute blog.
- An e-graph, short for “equality graph,” is a data structure that maintains a congruence relation on expression trees: an equivalence relation stable under forming new expressions.
Unverified
- This post is cross-posted at the Topos Institute blog.
- An e-graph, short for “equality graph,” is a data structure that maintains a congruence relation on expression trees: an equivalence relation stable under forming new expressions.
Sources: Epatters