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