Zulip Chat Archive
Stream: Geographic locality
Topic: Thessaloniki, Greece
Ioannis Konstantoulas (Sep 15 2023 at 15:02):
Hello all; I am a mathematician specializing in homogeneous dynamics and number theory, currently residing in Thessaloniki, Greece. If you are interested in Lean or any other proof assistant, or just want to chat about dynamics, number theory, Lie groups and representations, let me know!
Last updated: Dec 20 2023 at 11:08 UTC