TY  - JOUR
AU  - Neri, Morenikeji
AU  - Pischke, Nicholas
TI  - Proof mining and probability theory
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e187
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10138/
DO  - 10.1017/fms.2025.10138
ID  - 10_1017_fms_2025_10138
ER  -