Skip to content

feat(MultiTapeTM): Any function constant with finitely many exceptions is computable in constant time and space - #854

Open
crei wants to merge 11 commits into
leanprover:mainfrom
crei:tm_finite
Open

feat(MultiTapeTM): Any function constant with finitely many exceptions is computable in constant time and space#854
crei wants to merge 11 commits into
leanprover:mainfrom
crei:tm_finite

Commits

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Commits on Sep 9, 2026