Skip to content

Prove idle helpers do not lower the span-(m+1) line bound - #6338

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/span-lemma-idle-helpers-fc56
Nov 2, 2026
Merged

Prove idle helpers do not lower the span-(m+1) line bound#6338
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/span-lemma-idle-helpers-fc56

Prove idle helpers do not lower the span-(m+1) line bound

3351f1b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 1, 2026 in 4m 49s