-
Updated
Aug 2, 2026 - Makefile
#
kochen-specker
Here are 6 public repositories matching this topic...
Lecture notes and Lean 4 / Mathlib proofs: classical versus quantum logic for spins (Birkhoff-von Neumann, Kochen-Specker).
-
Updated
Oct 19, 2026 - TeX
Code and figures for "Physics from Finite Validation: Classical Recovery and the Quantum Boundary"
kochen-specker foundations-of-physics quantum-foundations black-hole-information-paradox relational-quantum-mechanics born-rule tsirelson-bound self-validating-systems self-validating-world
-
Updated
Jul 8, 2026 - Python
One paper: a Lean 4 proof of the spectral floor for Pauli contextuality; exact contextuality degrees for new 4-, 5- and 7-qubit configurations; a four-qubit cospectral pair with different completion spectra; reproducible Tsotchke-stack experiments and independent verification
reproducible-research kochen-specker theorem-proving quantum-computing quantum-information formal-verification mathlib bent-functions finite-geometry strongly-regular-graphs hidden-variables lean4 exact-arithmetic spectral-theory eshkol quantum-contextuality pauli-matrices tsotchke moonlab clifford-hierarchy
-
Updated
Nov 10, 2026 - TeX
Exact minimum Kochen-Specker sets inside finite pools of rays (31, 33, 18, 29), with Lean 4 proofs and checked DRUP certificates. Research preprint; no record broken.
-
Updated
Nov 10, 2026 - Python
Add this topic to your repo
To associate your repository with the kochen-specker topic, visit your repo's landing page and select "manage topics."