Verification of Low T-count Quantum Circuits in Rocq

Youngchan Cho, Robert Rand
January 2025
Cite