Header-only C++20 Unimodular Bruhat-Cholesky Syndrome Congruence & 2-Adic Parseval Engine for Stim/Chromobius (435 ns/tile, +21.61 dB vs 63 us Willow baseline, Lean 4.20.0 0 sorryAx).
Lean Updated 10 days ago 1 commits
axiom-bot|Mirror: justinarndtQ/stim-unimodular-bruhat-decoder-lean (⭐0)
10 days agoAbout
Header-only C++20 Unimodular Bruhat-Cholesky Syndrome Congruence & 2-Adic Parseval Engine for Stim/Chromobius (435 ns/tile, +21.61 dB vs 63 us Willow baseline, Lean 4.20.0 0 sorryAx).
Readme