Qiskit ZX Verified

Clifford phase-gate fusion for Qiskit with the core ZX spider-fusion rule formally verified in Lean 4.

• Very Early Project (1)

  1. All the very early projects

  ---

  Limited support experimental(1)

  1. All the experimental projects

  Interface Python(1)

  1. All the projects with Python interface

  Category Tooling(1)

  1. All the projects in the Tooling category

  Labels quantum information(1) research(2)

  1. All the projects labeled with quantum information
  2. All the projects labeled with research

• URLs

  ---

  Source code

Badge

[![Qiskit Ecosystem](https://qisk.it/e-91f8bc77)](https://qisk.it/e)

Style flat
Check out Badges section to learn more about how badges are used for status communication or on how to change the badge style.

---

Checkups

All good

---

Packages

pip-installable repo	Version	Requires Python	Declared in
qiskit-zx-verified	0.1.0	>=3.9	pyproject.toml

---

Qiskit requirements

Declared in	Requires	V1	V2	Highest supported
repo qiskit-zx-verified	<3,>=2.0			2.5.2