feat(MultiTapeTM): Nondeterministic multi-tape Turing machines - #820

Open

barni120400 wants to merge 4 commits into

leanprover:mainfrom

barni120400:multitape/ntm

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
feat(MultiTapeTM): Nondeterministic multi-tape Turing machines

avivbarnatan-air
and
claude
committed
e9426ed