Skip to content

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/