0

Domain-Specific Rocq Automation with E-Graphs
COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs