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: May 02 2025 at 03:31 UTC
Welcome to #Lean for teaching.
Description: Discussions about courses using Lean
Last updated: May 02 2025 at 03:31 UTC