A detailed derivation of one of the examples from "ZX-calculus for the working quantum computer scientist" (section 5.5) which was worked out with Sangeet Srinivasan. The jupyter notebook that implements this on PyZX can be found here.
A small handout of ZX-calculus rewrite rules and some simple problems taken from "ZX-calculus for the working quantum computer scientist" made with Sangeet Srinivasan as a complement to the talk we gave in the summer of 2022.