Qiskit LEAN bridge

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

• Very Early Project (1)

  1. All the very early projects

  ---

  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

• URLs

  ---

  Source code

Badge

[![Qiskit Ecosystem](https://qisk.it/e-dd050939)](https://qisk.it/e)

Style flat
Check out Badges section to learn more about how badges are used for status communication or on how to change the badge style.

---

Checkups

Check up	Importance	What is failing	Days left	Discussion
[Q03] Have a cap on the major version for the qiskit dependency	RECOMMENDATION	The qiskit requirement in the qiskit-lean-bridge manifest in the repository allows a not-yet-released major version of Qiskit	171	Issue asking for the cap submitted https://github.com/RexRowan/Qiskit-LEAN-Bridge/issues/1, waiting for the fix · discussion

---

Packages

pip-installable repo	Version	Requires Python	Declared in
qiskit-lean-bridge	0.1.0	>=3.10	pyproject.toml

---

Qiskit requirements

Declared in	Requires	V1	V2	Highest supported
repo qiskit-lean-bridge	>=2.0			2.5.2