Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: The Pauli group, stabilizer states and circuits, and the Gottesman–Knill theorem.