feat(MultiTapeTM): TransformsTapes interface and sequential composition - #897

Merged

fmontesi merged 7 commits into

leanprover:mainfrom

crei:pr/transforms-tapes

Sep 18, 2026

Commits on Sep 11, 2026

feat(Turing): TransformsTapes interface and sequential composition

crei
and
claude
committed
def5ea2

Commits on Sep 17, 2026

Merge remote-tracking branch 'origin/main' into pr/transforms-tapes
crei
committed
02963b6

Commits on Sep 18, 2026

Expose nop.
crei
committed
9925937
Remove existential quantifier for time.
crei
committed
4686052
Simplify proofs.
crei
committed
adac1b2
Remove unused lemma.
crei
committed
ceb1b3b
Merge remote-tracking branch 'origin/main' into pr/transforms-tapes
crei
committed
163a3a1