A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation.

Wenxuan Tao, Gang Chen

Browse the full TAMC paper archive.