How to prove equations using diagrams, part 1

Article URL: https://www.epatters.org/post/e-graphs-1/ Comments URL: https://news.ycombinator.com/item?id=50412830 Points: 11 # Comments: 2