Skip to content

feat(MultitapeTM): Prove an exponential upper bound in the number of configurations reachable in bounded space - #772

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

feat(MultitapeTM): Prove an exponential upper bound in the number of configurations reachable in bounded space#772
crei wants to merge 1 commit into
leanprover:mainfrom
crei:configs_reachable_in_bounded_space

Prove an exponential upper bound in the number of configurations reac…

5bc455a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 3, 2026 in 5s