https://pypi.org/project/qiskit-transpile-verify/ Recent updates to the Python Package Index for qiskit-transpile-verify en https://pypi.org/project/qiskit-transpile-verify/0.1.0/ Formal and statistical equivalence checking for Qiskit transpiler output on the Clifford fragment, with optional Lean 4 certificate generation. Thu, 20 Aug 2026 13:13:20 GMT