POPL artifact

This version accompanies the POPL 2019 paper "Quantum Relational Hoare Logic" by Dominique Unruh.

For installation instructions, see the README.