Talk page

Title:
Verifying Graphical Quantum Calculi in a Proof Assistant

Speaker:
Robert Rand

Link:
http://www.birs.ca/events/2024/5-day-workshops/24w5307/videos/watch/202406051030-Rand.html

Workshop:
Birs- 24w5307: Quantum Circuit Design Automation