QWIRE Practice: Formal Verification of Quantum Circuits in Coq

Robert Rand, Jennifer Paykin, Steve Zdancewic
June 2017
PDF Cite Code Slides DOI
Type
Conference paper
Publication
International Conference on Quantum Physics and Logic (QPL 2017)