FWIW It was a pretty spontaneous creation. I'm attending the conference and being a regular user/visitor/lurker/fan of wompt, created a room and mentioned it to

FWIW It was a pretty spontaneous creation. I'm attending the conference and being a regular user/visitor/lurker/fan of wompt, created a room and mentioned it to dan and he took the ball and ran with it. Which is a pretty appropriate experiment for a Lean conference methinks :P