Skip to content

refactor(MultiTapeTM): Make the deterministic machine a nondeterministic one - #821

Draft
barni120400 wants to merge 18 commits into
leanprover:mainfrom
barni120400:multitape/ntm-deterministic
Draft

refactor(MultiTapeTM): Make the deterministic machine a nondeterministic one#821
barni120400 wants to merge 18 commits into
leanprover:mainfrom
barni120400:multitape/ntm-deterministic

refactor(MultiTape): collect the tape lemmas, and say what the space …

8b35593
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 30, 2026 in 4s