Video From 24w5307: Quantum Circuit Design Automation
Wednesday, June 5, 2024 10:30 - 11:00
Verifying Graphical Quantum Calculi in a Proof Assistant
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.