Yijun He

Latest

• Certified Quantum Computation in Isabelle/HOL
• Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information