qiskit-lean-bridge

Bridges Qiskit's StandardEquivalenceLibrary to formally verified proofs in inQWIRE/LeanQuantum

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

pip install git+https://github.com/RexRowan/Qiskit-LEAN-Bridge

• Declared version 0.1.0

  Requires Python >=3.10

  Declared in pyproject.toml

  Build backend setuptools.build_meta

• Very Early Project (1)

  1. All the very early projects

  ---

  Project Qiskit LEAN bridge

  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
>=2.0			2.6.1