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

Merge remote-tracking branch 'origin/main' into tm_finite

3258a58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 14, 2026 in 6m 1s