Amenability of Thompson's Group F

Justin Moore at Cornell has just announced a proof that Thompson's group \(F\) is amenable. The paper is short; I read through it last night, admittedly not following all the details.

There are, as it happens, a lot of details.