Quantum strategies for Levine’s hat game using one Bell pair, with a paper, Lean 4 proofs, and a Cirq demo.
Mathematical Programming System Updated 16 days ago 1 commits
helix-ai|Mirror: emzeay/quantum-levine-hats (⭐0)
16 days agoAbout
Quantum strategies for Levine’s hat game using one Bell pair, with a paper, Lean 4 proofs, and a Cirq demo.
Readme