Skip to content

feat(MultiTapeTM): the identity is computable in linear time and zero space - #885

Open
crei wants to merge 1 commit into
leanprover:mainfrom
crei:identity_complexity
Open

feat(MultiTapeTM): the identity is computable in linear time and zero space#885
crei wants to merge 1 commit into
leanprover:mainfrom
crei:identity_complexity

feat(MultiTapeTM): the identity is computable in linear time and zero…

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

Annotations

1 warning
ci-checks
succeeded Sep 8, 2026 in 5m 58s