Zulip Chat Archive
Stream: Geographic locality
Topic: Grenoble France
orlando (Apr 12 2020 at 17:40):
Hello, i'm on the photo :innocent: grenonbl.jpg
Thomas Vigouroux (Dec 04 2023 at 12:00):
Just started using Lean, and doing a PhD in Grenoble !
Filippo A. E. Nuccio (Dec 04 2023 at 13:18):
Hi! Are you aware that in Lyon/Saint-Étienne (not that far...) we have some activities? Whom are you working with in Grenoble?
Last updated: Dec 20 2023 at 11:08 UTC