Zulip Chat Archive
Stream: Geographic locality
Topic: Metz, Lorraine, FR
Isabelle Dubois (Apr 02 2024 at 08:02):
Hi, I'm Isabelle, "maîtresse de conférences" in maths at the University de Lorraine. Recently interested in Lean, especially from a teaching POV, and just attended LFTCM 2024.
Last updated: May 02 2025 at 03:31 UTC