Post #2800074

I wanted to spend a couple of days in France after the conference to decompress and catch up with some old friends. The result: it is 8 am, and I am doing Lean proofs in my hotel room in Paris :)