, Inria, Paris, France, France

• Journal of Formalized Reasoning Vol. 10 No. 1 (2017) - Articles
  Formal Proof of Banach-Tarski Paradox
  Abstract  PDF