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 140

  Qiskit compatibility

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

• 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