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: May 02 2025 at 03:31 UTC
Hello everyone, I'm new to Lean. My background is in computer science. :smile:
Last updated: May 02 2025 at 03:31 UTC