Skip to content

feat(MultiTapeTM): TransformsTapes interface and sequential composition - #897

Open
crei wants to merge 1 commit into
leanprover:mainfrom
crei:pr/transforms-tapes
Open

feat(MultiTapeTM): TransformsTapes interface and sequential composition#897
crei wants to merge 1 commit into
leanprover:mainfrom
crei:pr/transforms-tapes

feat(Turing): TransformsTapes interface and sequential composition

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

Annotations

1 warning
ci-checks
succeeded Sep 11, 2026 in 9m 20s