@misc{indiciaec57de91dee6f,
  title = {Quantum projective measurements and the CHSH inequality in Isabelle/HOL},
  author = {Mnacho Echenim and Mehdi Mhalla},
  year = {2021},
  url = {https://arxiv.org/abs/2103.08535},
  note = {Source identifier: 2103.08535}
}