Mnacho Echenim公司 迈赫迪·姆哈拉 Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。 2023 abs/2306.12535 CoRR公司 https://doi.org/10.48550/arXiv.2306.12535 db/journals/corr/corr2306.html#abs-2306-12535