%0 Journal Article
%A Neri, Morenikeji
%A Pischke, Nicholas
%T Proof mining and probability theory
%J Forum of Mathematics, Sigma
%D 2025
%P e187
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10138/
%R 10.1017/fms.2025.10138
%F 10_1017_fms_2025_10138