VyZX : A Vision for Verifying the ZX Calculus. - Adrian Lehmann; Ben Caldwell; Robert Rand 001 (CoRR, 2022)

VyZX: Formal Verification of a Graphical Quantum Language. - Adrian Lehmann; Ben Caldwell; Bhakti Shah; Robert Rand 001 (CoRR, 2023)

ViCAR: Visualizing Categories with Automated Rewriting in Coq. - Bhakti Shah; William Spencer; Laura Zielinski; Ben Caldwell; Adrian Lehmann; Robert Rand 001 (CoRR, 2024)