Skip to content

refactor(MultiTape): simulate machines through adapters - #1151

Open
barni120400 wants to merge 4 commits into
leanprover:mainfrom
barni120400:refactor/multitape-shared-simulations
Open

barni120400 wants to merge 4 commits into
leanprover:mainfrom
barni120400:refactor/multitape-shared-simulations

doc(MultiTape): explain how an adapter works, and open up the redirec…

9b2a4eb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 28, 2026 in 2m 30s