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: Dec 20 2025 at 21:32 UTC
Hello everyone, I'm new to Lean. My background is in computer science. :smile:
Last updated: Dec 20 2025 at 21:32 UTC