https://pypi.org/project/qldpc-cert/ Recent updates to the Python Package Index for qldpc-cert en https://pypi.org/project/qldpc-cert/0.1.0/ Kernel-checked certification of QLDPC decoder outputs: two-sided per-run certificates (Lean 4 verified checkers), HMAC-chained audit logs, and a reference BP+OSD decoder for bivariate bicycle codes. Mon, 06 Jul 2026 01:30:55 GMT