The Coq mailing list

[Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>]

Hi,

On Mon, Apr 17, 2017 at 06:05:19PM +0900, 永江哲朗 wrote:

> We talked about your proof at our small coq study group last Saturday.

I am very flattered :-)

> I'd like to read your proof through and understand it.

I am writing a paper. It helps me to understand it better. Hope I can
finish it. I did not decide yet when I publish it, if I do.

>  Now I'm reading a book which explains Banach-Tarski paradox.

By Stan Wagon, perhaps? I read a couple of pages of his book, but my
sources are essentially Wikipedia where a sufficiently detailed proof
is described.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/