17 citations · 17 across the 1 of their papers we have counts for
1 paper
Tao Liu, Yangjia Li, Shuling Wang +2
Quantum Hoare Logic (QHL) was introduced in Ying's work to specify and reason about quantum programs. In this paper, we implement a theorem prover for QHL based on Isabelle/HOL. By…