Skip to content

feat(MultiTapeTM): halting-time, output-length, and visited-position lemmas for multi-tape TMs - #816

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschles/multi-tape-tm-lemmas
Open

feat(MultiTapeTM): halting-time, output-length, and visited-position lemmas for multi-tape TMs#816
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschles/multi-tape-tm-lemmas

feat: halting-time, output-length, and visited-position lemmas for mu…

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