QuantumLib: A Library for Quantum Computing in Coq

Publication
The Coq Workshop