Repository navigation

feat: the structure of the effective null, and powered tests outside it - #390

Closed

RemyDegenne wants to merge 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/effective-null-worker1

Closed

feat: the structure of the effective null, and powered tests outside it#390
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/effective-null-worker1

Commits on Nov 14, 2026
- feat: the structure of the effective null, and powered tests outside it
  
  RemyDegenne
  and
  web-flow
  committed
  8a3c594
- refactor: weaken setwise Fatou to a liminf lower bound and factor out test rescalings
  
  RemyDegenne
  and
  web-flow
  committed
  c3ac29a