TY  - RPRT
TI  - A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL
AU  - Mnacho Echenim
AU  - Mehdi Mhalla
PY  - 2023
UR  - https://arxiv.org/abs/2306.12535
ID  - 2306.12535
ER  -