Proving Quantum Programs Correct

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
June 2021
PDF Cite Video DOI
Type
Conference paper
Publication
Interactive Theorem Proving (ITP)