Lille, France

Stream: Geographic locality

[Vincent KUBICKI]

For the Nord people.

[Rémy Degenne]

I'm in Lille and I would be happy to meet other people using Lean!
I've been on this zulip for almost 5 years and never poster in this channel. That's now done!

[Calle Sönne]

I'm coming to Lille next week for a conference, happy to meet up!

[Rémy Degenne]

I'll be in Berkeley next week for the Lean for PDEs SLMath & ICARM workshop. It would have been very nice to meet otherwise!

[Calle Sönne]

That's unfortunate! Have fun at the workshop :)