Skip to content

feat: e-processes, the definition IsEProcess and its first closure properties - #401

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/eprocess-definition
Nov 15, 2026
Merged

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/eprocess-definition

feat: intro and iff lemmas for e-processes over probability nulls, me…

a68f18f
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 3s