Skip to content

refactor(MultiTape): remove the deterministic space measures - #1122

Open
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:refactor/multitape-single-space-api
Open

barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:refactor/multitape-single-space-api

refactor(MultiTape): remove the deterministic space measures

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

Annotations

1 notice
check-pr-title
succeeded Oct 21, 2026 in 4s