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

Check up	Importance	What is failing	Days left	Discussion
[G14] Have qiskit among the GitHub repository topics	NICE-TO-HAVE	qiskit is not among the GitHub repository topics, so the repository does not show up in github.com/topics/qiskit	∞	membership predates the checkup

---

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.6.1