Skip to content

feat: p-variables, exact e- and p-variables, and Markov's inequality for e-variables - #384

Merged
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/ispvar-worker1
Nov 14, 2026
Merged

feat: p-variables, exact e- and p-variables, and Markov's inequality for e-variables#384
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/ispvar-worker1

refactor: state the inverse-level set equality in the e-to-p calibration

54c7ed4
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 14, 2026 in 3s