Skip to content

feat(MultiTapeTM): input shortening - #1152

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

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

feat(MultiTapeTM): input shortening

e4010fb
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 29, 2026 in 3m 14s