Skip to content

refactor: adopt Tau Ceti's good rate functions and large deviation principle - #360

Open
RemyDegenne wants to merge 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/342-ldp
Open

RemyDegenne wants to merge 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/342-ldp

refactor: name the speed `1 / n` conversion in one EReal lemma

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