Zulip Chat Archive
Stream: Geographic locality
Topic: Enschede, NL
Rick de Wolf (Oct 13 2023 at 08:13):
Hi folks! I'm a robotics MSc student looking for a PhD next year. I'm learning Lean to develop tools for engineering students. Hit me up if you're nearby, I'd love to chat :grinning_face_with_smiling_eyes:
Bob Rubbens (Feb 19 2024 at 08:57):
Hey, I'm from the FMT group in the zilverling building. I have a colleague in my team and we regularly discuss Lean, if you're still around we should hang out!
Bob Rubbens (Feb 19 2024 at 09:05):
Anyone else who's here of course feel free to reach out to us as well :) We're in room Zi 3082. We also have some group members working with Isabelle.
Last updated: May 02 2025 at 03:31 UTC