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