Skip to content

feat(MultiTapeTM): loglogn_equals_no_space - #901

Open
barni120400 wants to merge 31 commits into
leanprover:mainfrom
barni120400:feat/tm-space-gap
Open

barni120400 wants to merge 31 commits into
leanprover:mainfrom
barni120400:feat/tm-space-gap

chore(MultiTapeTM): merge input-shortening updates

b7e44ed
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 21, 2026 in 4m 50s