Skip to content

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

Closed
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/cfg-output
Closed

refactor(MultiTapeTM): Put the output tape into the configuration#818
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/cfg-output

Commits

Commits on Aug 19, 2026