Lyon, France

Stream: Geographic locality

[Leonid Ryvkin]

Hi all,
Just waving hello :hello: from Lyon, I started to look into theorem formalization with mathlib4 a little and am happy to chat about it. :-)

[Yaël Dillies]

@Michał Mrugała? :eyes:

[Patrick Massot]

There are many people using Lean in Lyon.

[Yaël Dillies]

I'm surprised no one ever messaged here before!

[Filippo A. E. Nuccio]

I put my name in Saint-Etienne, but I am most of my (Lean) time in Lyon, at least when I'm in Auvergne-Rhône-Alpes.

[Robin Carlier]

I'm also in Lyon