Investigations of Boolean functions, their Cayley graphs, and associated structures.
-
Updated
May 17, 2025 - Jupyter Notebook
#
bent-functions
Here are 3 public repositories matching this topic...
Lean 4 formalization of scalar versus vectorial bentness in the exceptional odd-dimensional regime
-
Updated
Jul 24, 2026 - Lean
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
Add this topic to your repo
To associate your repository with the bent-functions topic, visit your repo's landing page and select "manage topics."