Skip to content

feat(MultiTapeTM): input shortening - #1152

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

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

feat(MultiTapeTM): input shortening

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

Annotations

1 notice
check-pr-title
succeeded Oct 21, 2026 in 4s