Skip to content

feat(MultiTapeTM): Nondeterministic multi-tape Turing machines - #802

Open
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/nondeterministic
Open

feat(MultiTapeTM): Nondeterministic multi-tape Turing machines#802
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/nondeterministic

Commits

Commits on Aug 15, 2026