Volume Q
Verified Quantum Computing
Robert Rand
Read
Download
Version 0.1 (02 Aug 2019, Coq 8.8.1)
