A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL

From MaRDI portal
Publication:6190081