Zulip Chat Archive
Stream: new members
Topic: Hi from Mike Vaiana
Mike Vaiana (Mar 19 2024 at 17:56):
Hi everyone, just getting started with Lean and wanted to introduce myself. Glad to see such an active community here!
Last updated: May 02 2025 at 03:31 UTC