How to prove equations using diagrams, part 1 Link: https://www.epatters.org/post/e-graphs-1/ Discussion: https://news.ycombinator.com/item?id=50412830