A Central Limit Theorem for Martin-Löf Random Numbers. - Anton Vuerinckx; Yves Moreau (CoRR, 2020)