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:
Last updated: Dec 20 2023 at 11:08 UTC