Repository navigation
Decoder floors, case (b) for every number of terms: one-sided P112 decoders cost ≥ 64 without corrections (unique optimum) and with ≤ 2 non-full corrections (no κ claim) - #2816
Merged
Mister-Meeseeks merged 1 commit intoOct 16, 2026