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: Dec 20 2025 at 21:32 UTC
Welcome to #Lean for teaching.
Description: Discussions about courses using Lean
Last updated: Dec 20 2025 at 21:32 UTC