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

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

crei wants to merge 8 commits into

leanprover:mainleanprover/cslib:mainfrom

crei:configs_reachable_in_bounded_spacecrei/cslib:configs_reachable_in_bounded_spaceCopy head branch name to clipboard