Issue 1/2024
Content (5 Articles)
A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL
Mnacho Echenim, Mehdi Mhalla
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
David Braun, Nicolas Magaud, Pascal Schreck
Open Access
Should Decisions in QCDCL Follow Prefix Order?
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff