Zulip Chat Archive
Stream: new members
Topic: Welcome
Patrick Massot (Apr 16 2018 at 20:20):
Hey, Leo de Moura is here! Welcome to this forum!
Patrick Massot (Apr 16 2018 at 20:21):
@Leonardo de Moura Thank you so much for creating Lean!
Last updated: May 02 2025 at 03:31 UTC