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

• current release 0.1.0

  last month 100 last 180 days 100

  Qiskit Compatibility

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

• Qiskit Ecosystem Member (1)

  1. All the regular Members

  ---

  Project Qiskit Transpile Verify

  Limited support experimental(1)

  1. All the production-ready project

  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