GitHub repository: kylechui/2ControlVerification
Primary language: Coq
Description: A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".