nqpv (pypi): An assistant tool for the formal verification of nondeterministic quantum programs.
Keywords: quantum programs|program verification|automatic theorem proving