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