Last released Oct 29, 2026
Verified controlled quantum circuits ("One rig to control them all"): exact semantics, control equations, Gray-code synthesis and optimisation, with a C core extracted from Lean 4