Verifying Graphical Quantum Calculi in a Proof Assistant
Robert Rand speaking at the BIRS workshop 24w5307: Quantum Circuit Design Automation (Jun 02 - Jun 07). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.