Skip to content

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

Open
barni120400 wants to merge 4 commits into
leanprover:mainfrom
barni120400:multitape/ntm
Open

feat(MultiTapeTM): Nondeterministic multi-tape Turing machines#820
barni120400 wants to merge 4 commits into
leanprover:mainfrom
barni120400:multitape/ntm

feat(MultiTapeTM): Nondeterministic multi-tape Turing machines

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