Middlesex University Theory of Computing Group
Quantum Over Coq
a simulator for a version of Gay and Nagarajan's CQP
