qiskit-transpile-verify

Formal and statistical equivalence checking for Qiskit transpiler output on the Clifford fragment, with optional Lean 4 certificate generation.

pip install qiskit-transpile-verify

https://pypi.org/project/qiskit-transpile-verify/

• Current release 0.1.0

  Last month 15 Last 180 days 163

• Very Early Project (1)

  1. All the very early projects

  ---

  Project Qiskit Transpile Verify

  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