1

Q# as a Quantum Algorithmic Language
Q*: Implementing Quantum Separation Logic in F*
QuantumLib: A Library for Quantum Computing in Coq
Proving Quantum Programs Correct
A Verified Optimizer for Quantum Circuits
Gottesman Types for Quantum Programs
Tracking Errors through Types in Quantum Programs
Verified translation between low-level quantum languages