Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
VyZX: A Vision for Verifying the ZX Calculus
Adrian Lehmann
,
Ben Caldwell
,
Robert Rand
January 2022
PDF
Cite
Poster
Video
arXiv
Type
Workshop paper
Tool demo at Quantum Physics and Logic, 2022.
Cite
×