Skip to content

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

Open
barni120400 wants to merge 3 commits into
leanprover:mainfrom
barni120400:multitape/run-from
Open

refactor(MultiTapeTM): Put the output tape into the configuration#819
barni120400 wants to merge 3 commits into
leanprover:mainfrom
barni120400:multitape/run-from

docs(MultiTapeTM): address review comments

3f015fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 20, 2026 in 5s