Qiskit LEAN bridge

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

• Qiskit Ecosystem Member (1)

  1. All the regular Members

  ---

  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

• 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 communicaiton or on how to change the badge style.

---

Checkups

All good