Skip to content

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

Merged
fmontesi merged 12 commits into
leanprover:mainfrom
crei:tm_finite
Sep 14, 2026
Merged

fmontesi merged 12 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

Commits on Sep 14, 2026