Repository navigation
Root-code floors T·r_min for exact root-unit decoders with the dense pairing (sharp on E8, P112, P104, E7, D4, D6), a dense polar law and a place bound (no κ claim) - #2228
Merged
Mister-Meeseeks merged 1 commit intoOct 15, 2026
Commits
Commits on Oct 15, 2026