Skip to content

feat(MultiTapeTM): Some lemmas about Turing machine tapes - #768

Merged
fmontesi merged 1 commit into
leanprover:mainfrom
crei:tape_lemmas
Aug 2, 2026
Merged

feat(MultiTapeTM): Some lemmas about Turing machine tapes#768
fmontesi merged 1 commit into
leanprover:mainfrom
crei:tape_lemmas

Some lemmas about Turing machine tapes.

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