From Hacker News

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: 30 # Comments: 3

Read the full report at Hacker News ↗