Overview
--------

Perform symbolic Pauli propagation of observables through a circuit to derive explicit functions for the expectation values in terms of the circuit's parameters.

.. image:: /_static/ppdoc1.svg
   :alt: Pauli-Propagation Example
   :width: 100%
   :align: center
   :class: invert-dark