0

A Language for Quantifying Quantum Network Behavior
Compositional Quantum Control Flow with Efficient Compilation in Qunity
Domain-Specific Rocq Automation with E-Graphs
Verification of Low T-count Quantum Circuits in Rocq
COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
VyZX: Formal Verification of a Graphical Quantum Language
Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs