Zulip Chat Archive
Stream: Lean for teaching
Topic: hello
Welcome Bot (Feb 28 2019 at 21:02):
Welcome to #Lean for teaching.
Description: Discussions about courses using Lean
Last updated: Feb 28 2026 at 14:05 UTC
Welcome to #Lean for teaching.
Description: Discussions about courses using Lean
Last updated: Feb 28 2026 at 14:05 UTC