Padding lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
The padding lemma produces infinitely many syntactically distinct program indices for the same computed function or language.

New to topics? Read the docs here!