Skip to content

feat(MultiTapeTM): Prove time upper-bounds for space-bounded classes - #767

Draft
crei wants to merge 2 commits into
leanprover:mainfrom
crei:tm_estimate_reachable_space_bounded
Draft

feat(MultiTapeTM): Prove time upper-bounds for space-bounded classes#767
crei wants to merge 2 commits into
leanprover:mainfrom
crei:tm_estimate_reachable_space_bounded

Commits

Commits on Aug 1, 2026