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: Dec 07 2023 at 12:30 UTC