feat: the discrete-time Snell envelope of an ℝ≥0∞-valued process - #405

feat: the discrete-time Snell envelope of an ℝ≥0∞-valued process#405

lmlexplore-automation[bot] merged 5 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/snell-envelope-worker1RemyDegenne/LMLExplore:roadmap/snell-envelope-worker1Copy head branch name to clipboard