de Rauglaudre, D. 2017. Formal Proof of Banach-Tarski Paradox. Journal of Formalized Reasoning. 10, 1 (Jan. 2017), 37–49. DOI:https://doi.org/10.6092/issn.1972-5787/6927.