feat(Computability): Abstract machine model.#595

crei wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

crei:computation_modelcrei/cslib:computation_modelCopy head branch name to clipboard