feat: stopped processes, minima, mixtures and optional continuation of test supermartingales - #391

feat: stopped processes, minima, mixtures and optional continuation of test supermartingales#391

lmlexplore-automation[bot] merged 4 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/test-supermartingale-closure-worker1RemyDegenne/LMLExplore:roadmap/test-supermartingale-closure-worker1Copy head branch name to clipboard