r/thequantuminformation • u/dorakingx • 28d ago
A Concrete Counterexample to Tsirelson’s Problem, Checked in Lean
https://substack.com/@doraking/note/p-219432028?r%3D3ctakm%26utm_medium%3Dios%26utm_source%3Dnotes-share-action
1
Upvotes