no code implementations • 29 Jan 2019 • Andrew Fagan, Ross Duncan
We present a system of equations between Clifford circuits, all derivable in the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof assistant.