qiskit-lean-verify-game

A decidable-checker circuit puzzle package built on Qiskit, with level content shared with the CliffordGame lean4game submission.

pip install qiskit-lean-verify-game

https://pypi.org/project/qiskit-lean-verify-game/

• Current release 0.1.1

  Last month 17 Last 180 days 145

• Very Early Project (1)

  1. All the very early projects

  ---

  Project Qiskit LEAN Verify Game

  Limited support experimental(1)

  1. All the experimental projects

  Interface Python(1)

  1. All the projects with Python interface

  Category Game/Educational(1)

  1. All the projects in the Game/Educational category

  Labels demo(1) circuit building(2) quantum information(3)

  1. All the projects labeled with demo
  2. All the projects labeled with circuit building
  3. All the projects labeled with quantum information

---

Qiskit compatibility

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