Volume Q
Verified Quantum Computing
Robert Rand
Read
Download
Version 0.1 (19 Jan 2020, Coq 8.10)