Certified Quantum Computation in Isabelle/HOL

Anthony Bordg, Hanna Lachnitt, Yijun He. Certified Quantum Computation in Isabelle/HOL. Journal of Automated Reasoning, 65(5):691-709, 2021. [doi]

Abstract

Abstract is missing.