Talks

• A functional quantum programming language
• VyZX: Formal verification of a graphical quantum language