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

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

06cf92e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Aug 19, 2026 in 9m 7s