feat(MultiTapeTM): add sequential composition and tape extension - #871

feat(MultiTapeTM): add sequential composition and tape extension#871

SamuelSchlesinger wants to merge 2 commits into

samschles/tm-01-function-complexityleanprover/cslib:samschles/tm-01-function-complexityfrom

samschles/tm-02-basic-plumbingleanprover/cslib:samschles/tm-02-basic-plumbingCopy head branch name to clipboard