Skip to content

refactor: one MGF domination predicate on a set of parameters - #191

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/mgf-dominated-on
Nov 6, 2026
Merged

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/mgf-dominated-on

Merge remote-tracking branch 'origin/main' into refactor/mgf-dominate…

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