Skip to content

refactor(MultiTapeTM): share computation predicates - #1153

Open
barni120400 wants to merge 3 commits into
leanprover:mainfrom
barni120400:refactor/multitape-computes-such-that
Open

barni120400 wants to merge 3 commits into
leanprover:mainfrom
barni120400:refactor/multitape-computes-such-that

refactor(MultiTapeTM): share computation predicates

ccbef1d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-pr-title
succeeded Oct 27, 2026 in 5s