Zulip Chat Archive
Stream: general
Topic: Event: Learning Mathematics with Lean
Alex Mackay (Apr 18 2023 at 06:34):
This is starting in ~8 hours:
https://sites.google.com/view/learning-maths-with-lean2/
Is there an existing stream/topic for it?
Alex Mackay (Apr 18 2023 at 08:03):
Found it: https://leanprover.zulipchat.com/#narrow/stream/187764-Lean-for-teaching/topic/Two.20workshops
Last updated: Dec 20 2023 at 11:08 UTC