Skip to content

feat: e-processes for an i.i.d. null grow at most at the bipolar rate, almost surely - #440

Open
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/bipolar-rate-almost-sure
Open

feat: e-processes for an i.i.d. null grow at most at the bipolar rate, almost surely#440
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/bipolar-rate-almost-sure

refactor: export the i.i.d. shift lemmas and split the covering argument

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

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 15, 2026 in 2s