‘mitigation’ Dialect

A dialect for quantum mitigation.

This dialect contains operations to represent mitigation on quantum functions, as well as lowering mechanisms to compute the mitigated expectation value.