“双控制量子门的最优实现”的证明验证。A proof verification of "Optimal Implementation of Quantum Gates with Two Controls". (2024-05-15, Coq, 0KB, 下载0次)