Proving Quantum Programs Correct

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

June 2021

Type

Conference paper

Publication

International Conference on Interactive Theorem Proving (ITP 2021)