Skip to content

feat(MultiTapeTM): input shortening - #1152

Open
barni120400 wants to merge 2 commits into
leanprover:mainfrom
barni120400:feat/tm-input-shortening
Open

feat(MultiTapeTM): input shortening#1152
barni120400 wants to merge 2 commits into
leanprover:mainfrom
barni120400:feat/tm-input-shortening

Commits

  1. Commits on Oct 27, 2026