How to prove equations using diagrams, part 1 https://lobste.rs/s/jvicvb #compilers #math #plt https://www.epatters.org/post/e-graphs-1/