To work on the Isabelle Marries Dirac library I recommend the book
Quantum Computation and Quantum Information by Michael A. Nielsen & Isaac L. Chuang (10th Anniversary Edition, Cambridge University Press, 2010).
@Yijun He @Hanna Lachnitt It's not necessary to write a short biblio at the end of each theory file. We will create a biblio file before submission to the AFP anyway.
In the meantime please use this topic to share your references.
Last updated: Aug 15 2022 at 02:13 UTC