Skip to content

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

Merged
fmontesi merged 7 commits into
leanprover:mainfrom
crei:pr/transforms-tapes
Sep 18, 2026
Merged

fmontesi merged 7 commits into
leanprover:mainfrom
crei:pr/transforms-tapes

Merge remote-tracking branch 'origin/main' into pr/transforms-tapes

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

Annotations

1 warning and 1 notice
ci-checks
succeeded Sep 18, 2026 in 4m 45s