Zulip Chat Archive
Stream: new members
Topic: SLMath/MSRI
Matthew Ballard (Apr 26 2024 at 18:57):
Hello from Berkeley
Karl Schwede (Apr 26 2024 at 18:57):
Matthew Ballard said:
Hello from Berkeley
Hi, I'm interested in Lean.
Colin Ingalls (Apr 26 2024 at 18:59):
Hi!
Adam Topaz (Apr 27 2024 at 00:51):
Welcome!
Brendan Seamas Murphy (Apr 27 2024 at 01:09):
I'm happy to talk about this stuff any time @Karl Schwede
Last updated: May 02 2025 at 03:31 UTC