An interactive proof assistant for the ZX-calculus

ZXLive is a user-friendly, interactive tool for reasoning with the ZX calculus, a graphical language for quantum computing. It offers a simple interface for drawing ZX diagrams, applying rewrite rules, and constructing proofs. The tool supports exporting proofs to TikZ, making it easy to add them to research papers. Along with being useful for ZX practitioners, ZXLive is also a great educational tool for learning and experimenting with the ZX calculus.