TY  - RPRT
TI  - Quantum projective measurements and the CHSH inequality in Isabelle/HOL
AU  - Mnacho Echenim
AU  - Mehdi Mhalla
PY  - 2021
UR  - https://arxiv.org/abs/2103.08535
ID  - 2103.08535
ER  -