Robert Rand

  1. 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