qiskit-zx-verified

A Clifford phase-gate fusion pass for Qiskit, with the core rewrite rule formally verified in Lean 4.

Not published to a package registry. The metadata below is what the repository itself declares.

pip install git+https://github.com/RexRowan/Qiskit-ZX-Verified

• Declared version 0.1.0

  Requires Python >=3.9

  Declared in pyproject.toml

  Build backend setuptools.build_meta

• Very Early Project (1)

  1. All the very early projects

  ---

  Project Qiskit ZX Verified

  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

---

Qiskit compatibility

Requires	V1	V2	Highest supported
<3,>=2.0			2.6.1