Last released Sep 25, 2026
Q-PROOF Compact: the verified quantum circuit optimizer. Smaller circuits, proven. Error suppression included.
Last released Sep 21, 2026
Optional Rust acceleration kernels for compactq