On Incorrectness Logic for Quantum Programs

Moved to here

Last modified 2023-05-23