arXiv:2306.12535 [quant-ph]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords chsh inequality, tsirelsons upper-bound, formalization, isabelle/hol, quantum information theory Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset