Video From 24w5307: Quantum Circuit Design Automation
Wednesday, June 5, 2024 10:30 - 11:00
Verifying Graphical Quantum Calculi in a Proof Assistant
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.