TY  - RPRT
TI  - Certified Quantum Computation in Isabelle/HOL
AU  - Anthony Bordg
AU  - Hanna Lachnitt
AU  - Yijun He
PY  - 2020
DO  - 10.1007/s10817-020-09584-7
UR  - https://arxiv.org/abs/2012.13925
ID  - 2012.13925
ER  -