refactor(MultiTapeTM): Put the output tape into the configuration - #819

Open

barni120400 wants to merge 3 commits into

leanprover:mainfrom

barni120400:multitape/run-from

Commits on Aug 20, 2026

refactor(MultiTapeTM): Put the output tape into the configuration

avivbarnatan-air
and
claude
committed
2b62c21
refactor(MultiTapeTM): Rename `configs` to `runFrom`

avivbarnatan-air
and
claude
committed
794c978
docs(MultiTapeTM): address review comments

avivbarnatan-air
and
claude
committed
3f015fb