Zulip Chat Archive
Stream: new members
Topic: Laurance Lau
Laurance Lau (Sep 26 2024 at 18:57):
Hello everyone, I'm new to Lean. My background is in computer science. :smile:
Last updated: Feb 28 2026 at 14:05 UTC
Hello everyone, I'm new to Lean. My background is in computer science. :smile:
Last updated: Feb 28 2026 at 14:05 UTC