My understanding is ZX calculus is more like a “calculus” or a nice toolkit. So you probably still cannot bypass regular QC formalism (being able to manipulate

My understanding is ZX calculus is more like a “calculus” or a nice toolkit. So you probably still cannot bypass regular QC formalism (being able to manipulate things fast doesn’t mean you necessarily understand it well)